9989 search results - page 34 / 1998 » A CLP Approach to Modelling Systems |
125
Voted
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...
117
click to vote
WSC
1998
15 years 5 months ago
1998
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
149
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
117
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
111
Voted
IWPC
1996
IEEE
15 years 7 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...