3256 search results - page 462 / 652 » Applications of Formal Methods to System Design and Verifica... |
194
click to vote
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
125
click to vote
VDB
1998
15 years 6 months ago
1998
Model-based systems provide methods for supporting the systematic and efficient development of application interfaces. This paper examines how model-based technologies can be expl...
141
click to vote
ICSE
2009
IEEE-ACM
16 years 5 days ago
2009
IEEE-ACM
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
144
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Object technology was first created in 1967, but it had to wait till the mid 80’s for widespread acceptance and adoption. We observe that that was not the only hiatus for the te...
115
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...