9067 search results - page 1632 / 1814 » Adaptive Model Checking |
159
click to vote
SAC
2006
ACM
16 years 25 days ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
221
click to vote
AAAIDEA
2005
IEEE
16 years 15 days ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
161
click to vote
BROADNETS
2005
IEEE
16 years 15 days ago
2005
IEEE
—The peer-to-peer technology offers many advantages, but at the same time, it poses many novel challenges for the research community. Modern peer-to-peer systems are characterize...
181
click to vote
CCGRID
2005
IEEE
16 years 15 days ago
2005
IEEE
Internet data centers (IDCs) perform multi-customer hosting on a virtualized collection of resources while Grid computing generalizes distributed computing by focusing on large sc...
160
click to vote
CCGRID
2005
IEEE
16 years 15 days ago
2005
IEEE
In heterogeneous and dynamic distributed systems like the Grid, detailed monitoring of workload and its resulting system performance (e.g. response time) is required to facilitate...