12981 search results - page 187 / 2597 » Model Checking (Abstract) |
128
click to vote
EDOC
2000
IEEE
15 years 7 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
104
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
143
click to vote
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
151
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
127
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...