9989 search results - page 301 / 1998 » A CLP Approach to Modelling Systems |
145
click to vote
ISICT
2003
15 years 8 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
174
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
A distributed decision support system involving multiple clinical centres is crucial to the diagnosis of rare diseases. Although sharing of valid diagnosed cases can facilitate la...
187
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
146
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
179
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...