4604 search results - page 185 / 921 » Concurrency in Synchronous Systems |
155
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
211
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
120
click to vote
CEEMAS
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
183
Voted
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
130
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...