3575 search results - page 125 / 715 » Modeling Concurrency with Geometry |
132
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
127
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
141
click to vote
PTS
2008
15 years 3 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
110
click to vote
IJFCS
2006
15 years 1 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
124
click to vote
TCS
2002
15 years 1 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...