1206 search results - page 43 / 242 » Concurrent Abstract Predicates |
106
Voted
SPLST
2003
15 years 1 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
120
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
CONCURRENCY
2008
15 years 18 days ago
2008
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...
103
Voted
CONCURRENCY
2007
15 years 15 days ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
112
click to vote
PPOPP
1990
ACM
15 years 4 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...