437 search results - page 82 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
112
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
125
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Web performance measurements and availability tests have been carried out using a variety of infrastructures over the last several years. Disruptions in the Internet can lead to W...
153
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require a...
193
Voted
ICCD
2008
IEEE
16 years 15 days ago
2008
IEEE
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
156
Voted
GIS
2010
ACM
15 years 27 days ago
2010
ACM
Research on Moving Object Databases (MOD) has resulted in sophisticated query mechanisms for moving objects and regions. Wireless Sensor Networks (WSN) support a wide range of app...