28 search results - page 4 / 6 » Using Properties for Uniform Interaction in the Presto Docum... |
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
ISSTA
2009
ACM
14 years 4 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
MFCS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
WWW
2009
ACM
14 years 6 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...