488 search results - page 13 / 98 » Derivation of Java Monitors |
165
click to vote
Book
The book covers the following topics: examining the structure of HTTP requests, monitoring the packets being transferred between a web server and web browser, executing simple HTTP...
ICNS
2006
IEEE
15 years 3 months ago
2006
IEEE
The emergence of middleware solutions and new services, even on small devices, will need adapted distributed management solutions which address these specificities, both in terms ...
TGC
2005
Springer
15 years 2 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
63
Voted
FIDJI
2003
Springer
15 years 2 months ago
2003
Springer
– This paper presents a Java service platform for mobile healthcare that enables remote health monitoring using 2.5/3G public wireless networks. The platform complies with todayâ...
63
Voted
ECBS
2000
IEEE
15 years 1 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...