10159 search results - page 637 / 2032 » System Design Validation Using Formal Models |
172
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Multiagent probabilistic reasoning with multiply sectioned Bayesian networks requires interfacing agent subnets (the modeling task) subject to a set of conditions. To specify the ...
207
click to vote
MOBIWAC
2006
ACM
16 years 1 months ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
191
click to vote
CSB
2004
IEEE
15 years 11 months ago
2004
IEEE
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
176
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The Domain Name System (DNS) provides a critical service for the Internet – mapping of user-friendly domain names to their respective IP addresses. Yet, there is no standard ...
161
click to vote
ASYNC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...