1206 search results - page 43 / 242 » Concurrent Abstract Predicates |
123
click to vote
SPLST
2003
15 years 3 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...
141
click to vote
BIRTHDAY
2003
Springer
15 years 7 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 2 months ago
2008
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...
116
Voted
CONCURRENCY
2007
15 years 2 months 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...
127
click to vote
PPOPP
1990
ACM
15 years 6 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...