473 search results - page 81 / 95 » Aspect Validation Using Model Checking |
TES
2001
Springer
14 years 3 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
SIGMETRICS
2009
ACM
14 years 5 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
SIGMETRICS
2003
ACM
14 years 4 months ago
2003
ACM
Previous analytic models of TCP Vegas throughput have been developed for loss-free (all-Vegas) networks. This work develops a simple and accurate analytic model for the throughput...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
The use of information technologies (IT) to collect personal health information is growing in popularity via computer-assisted interviewing and a wide variety of healthcare Web si...
ROBOCUP
1999
Springer
14 years 3 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...