2364 search results - page 177 / 473 » An Engine for Computing Well-Founded Models |
125
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
142
Voted
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
142
Voted
SBP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...
154
click to vote
ACHI
2008
IEEE
15 years 11 months ago
2008
IEEE
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
148
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...