452 search results - page 60 / 91 » Symbolic Execution of Behavioral Requirements |
212
Voted
BPM
2011
Springer
14 years 22 days ago
2011
Springer
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usu...
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
We explore the emerging application area of physics-based simulation for computer animation and visual special effects. In particular, we examine its parallelization potential and...
116
click to vote
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
124
click to vote
JSS
2007
15 years 19 days ago
2007
The resource management in distributed real-time systems becomes increasingly unpredictable with the proliferation of data-driven applications. Therefore, it is inefficient to all...
110
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...