827 search results - page 129 / 166 » Patterns for Timed Property Specifications |
137
click to vote
EUROMICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...
102
click to vote
ISARCS
2010
15 years 3 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
105
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...
124
click to vote
NETWORKING
2000
15 years 3 months ago
2000
Packet-oriented access to cellular networks enables us to deliver multimedia content to mobile users. As cellular networks will continue to deliver circuit switched voice for some ...
109
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
This paper proposes an approach for the automatic recognition of roles in settings like news and talk-shows, where roles correspond to specific functions like Anchorman, Guest or ...