pi4tech.blogspot.com

ekaterina-pek.blogspot.com

Ekaterina Pek: июня 2009

http://ekaterina-pek.blogspot.com/2009_06_01_archive.html

21 июн. 2009 г. Just for fun, some script, that beeps every N (in this case 20) seconds. What to do with this script :. Copy it to /Library/LaunchAgents. Run command line :. Launchctl load /Library/LaunchAgents/my.timer.plist. When you had enough fun, run command line :. Launchctl remove my.timer. It can be any activity, of course, not only beeping. I liked this editing GUI tool. In case if you need one. 8 июн 2009 г. Small note on ODEs/Markov chains. Guess statistics ODE hybrid-automata. 1 июн 2009 г.

scribbledesigndiary.blogspot.com

Scribble Design Diary: September 2007

http://scribbledesigndiary.blogspot.com/2007_09_01_archive.html

This is a design diary of scribble, a language for describing communicating distributed processes. Friday, 21 September 2007. I have been so lazy: I cannot believe it. Well many new findings: and discussions: and I think we shall have a roadmap soon. But in this blog I will proceed one by one, illustrating each construct through examples. Posted by Kohei Honda. Saturday, 8 September 2007. Channel or port: a problem of English. Channel in communications refers to the medium used to convey information from...

scribbledesigndiary.blogspot.com

Scribble Design Diary: August 2008

http://scribbledesigndiary.blogspot.com/2008_08_01_archive.html

This is a design diary of scribble, a language for describing communicating distributed processes. Sunday, 10 August 2008. A note on my old note. This is inside parentheses: I happened to find my immature old memo on a thin book on philosophy (from 2006! Posted by Kohei Honda. Tuesday, 5 August 2008. Von Neumann Machine: why we love it. There are a couple of things we should not forget:. 1) Hardware is about software. There is another thing we should not forget: this model has generality, and we can buil...

scribbledesigndiary.blogspot.com

Scribble Design Diary: February 2008

http://scribbledesigndiary.blogspot.com/2008_02_01_archive.html

This is a design diary of scribble, a language for describing communicating distributed processes. Monday, 25 February 2008. The illness which Shakespeare dreaded. My colleagues - -. After time consuming examination of blood and height and weight and all that, it turned out that I have that dreaded disease which Shakespeare sang thus:. Cripple our senators, that their limbs may halt as lamely as their manners. Posted by Kohei Honda. Gary and Steve's pi4 page. All Posts (new to old).

scribbledesigndiary.blogspot.com

Scribble Design Diary: February 2009

http://scribbledesigndiary.blogspot.com/2009_02_01_archive.html

This is a design diary of scribble, a language for describing communicating distributed processes. Tuesday, 3 February 2009. Communication is a great glue. We have been working on theories of session types, and developing a language for session types. Working on session types and conversations (as in Scribble) is a real fun, since settling its status is not so easy. It is not a "technology" though it is a sort of technology. What is it? Programming languages, between. Different runtime systems, between.

scribbledesigndiary.blogspot.com

Scribble Design Diary: September 2009

http://scribbledesigndiary.blogspot.com/2009_09_01_archive.html

This is a design diary of scribble, a language for describing communicating distributed processes. Wednesday, 2 September 2009. Using the pi-calculus for systems building. Your note is quite nice. I do not know much about the supply chain management: however I can see how each part will interact with each other from your description very clearly. I will be able to augment it in our later conversations. Http:/ www.cs.unibo.it/icalp/Lauree milner.html. The pi-calculus, because it distills the full expressi...

bipmak.blogspot.com

Software Organism: September 2009

http://bipmak.blogspot.com/2009_09_01_archive.html

Software systems, Autonomous systems, Distributed systems and Formal methods. Saturday, 26 September 2009. Testable Architecture: The Device to Craft Complex Communicating Systems. In distributed systems we observe emergent behaviour since logical operations may require communicating and multi channel interactions with numerous nodes and sending hundreds of messages in parallel. Distributed behaviour is also more varied, because the placement and order of events can differ from one operation to the n...

bipmak.blogspot.com

Software Organism: July 2009

http://bipmak.blogspot.com/2009_07_01_archive.html

Software systems, Autonomous systems, Distributed systems and Formal methods. Tuesday, 28 July 2009. In the discussion on evolution of systems, Hugues Bersini (Bersini05) states that:. Of the many types of systems organisations models, those that are in the form of networks and which are based on distributed architectures are the ones that survive and are economically most viable. Law (4) Conservation of Organisational Stability - Unless feedback mechanisms are appropriately adjusted, recorded and statis...