3256 search results - page 103 / 652 » Applications of Formal Methods to System Design and Verifica... |
146
click to vote
TRUSTBUS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
138
click to vote
IJAIT
2006
15 years 4 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
138
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
172
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
131
click to vote
ISTA
2004
15 years 5 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...