3830 search results - page 592 / 766 » From Reference Model to Component Model |
127
click to vote
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
108
click to vote
IFM
1999
Springer
15 years 7 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
112
click to vote
IRREGULAR
1997
Springer
15 years 7 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
151
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
129
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...