2452 search results - page 159 / 491 » The Case for Precision Sharing |
146
click to vote
ACSD
2006
IEEE
16 years 28 days ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
187
Voted
APLAS
2006
ACM
16 years 25 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
164
Voted
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
145
Voted
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
226
Voted
LCN
2003
IEEE
16 years 4 days ago
2003
IEEE
A wireless sensor network is a special kind of ad-hoc network with distributed sensing and processing capability that can be used in a wide range of applications, such as environm...