3256 search results - page 440 / 652 » Applications of Formal Methods to System Design and Verifica... |
125
click to vote
HICSS
1997
IEEE
15 years 9 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
155
click to vote
WOA
2003
15 years 6 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
144
click to vote
MOBICOM
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents the first quantitative evaluation of the role of routing computations on performance when mobility is introduced to a content-based routing network. Additiona...
160
click to vote
COSIT
1997
Springer
15 years 9 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
120
click to vote
CHI
1992
ACM
15 years 9 months ago
1992
ACM
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...