2873 search results - page 299 / 575 » Model Checking and the Mu-calculus |
123
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
144
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
152
click to vote
SOCASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
132
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
158
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...