852 search results - page 98 / 171 » entcs 2010 |
126
click to vote
ENTCS
2006
15 years 16 days ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
105
Voted
ENTCS
2006
15 years 16 days ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
196
Voted
ENTCS
2006
15 years 16 days ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
141
click to vote
ENTCS
2006
15 years 16 days ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
89
Voted
ENTCS
2006
15 years 16 days ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...