1463 search results - page 112 / 293 » Model Checking Implicit-Invocation Systems |
140
Voted
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
CGVR
2006
15 years 3 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
101
click to vote
CSMR
2006
IEEE
15 years 7 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
111
click to vote
MMM
2005
Springer
15 years 7 months ago
2005
Springer
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...
125
click to vote
ENTCS
2006
15 years 1 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...