6199 search results - page 229 / 1240 » Monitoring the |
AICT
2006
IEEE
16 years 20 days ago
2006
IEEE
165
click to vote
ASWEC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
182
click to vote
BSN
2006
IEEE
16 years 20 days ago
2006
IEEE
For small, inexpensive, ubiquitous wireless sensors to be realized, all constituents of the device, including the power source, must be directly integratable. For long term applic...