264 search results - page 35 / 53 » Time Constraint Patterns for Event B Development |
WWW
2009
ACM
14 years 8 months ago
2009
ACM
The use of blogs to track and comment on real world (political, news, entertainment) events is growing. Similarly, as more individuals start relying on the Web as their primary in...
WSC
2007
13 years 9 months ago
2007
Event simulation and analytic modeling are used to evaluate the performance of Low Latency Queueing (LLQ), a queueing discipline available in some Internet packet switching router...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
INFOCOM
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
ATS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...