3147 search results - page 339 / 630 » Open-Source Model Checking |
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...
157
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...
119
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
154
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
127
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...