488 search results - page 39 / 98 » Derivation of Java Monitors |
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among threa...
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
NOMS
2000
IEEE
15 years 4 months ago
2000
IEEE
Mobile agent frameworks have attracted a lot of attention in recent years, seen as counterparts of static distributed object frameworks but allowing also for object or agent mobil...
100
click to vote
AMC
2006
14 years 12 months ago
2006
Dynamic models of elastic structures are derived using approximations of linear three dimensional elasticity. A model for the three dimensional motion of a nonsymmetric structure ...
NJC
2006
14 years 11 months ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...