790 search results - page 48 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
109
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
137
click to vote
DATESO
2010
14 years 12 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
116
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
104
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
169
click to vote
CSAC
2006
15 years 3 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...