1239 search results - page 39 / 248 » Applying Model Checking to Concurrent UML Models |
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
149
Voted
ISTCS
1992
Springer
15 years 6 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
131
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
135
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
179
click to vote
FMSB
2008
15 years 4 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...