2940 search results - page 48 / 588 » Behavioral Constraints for Services |
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
WOSP
2005
ACM
14 years 3 months ago
2005
ACM
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
AAMAS
2004
Springer
13 years 10 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...
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
ICIS
2003
13 years 11 months ago
2003
Location-aware advertising is widely touted as the “killer-app” for mobile commerce to flourish. With the imminent rollout of third-generation mobile networks, advances in mul...