2150 search results - page 288 / 430 » Programming Models for Grid Applications and Systems: Requir... |
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
ZUM
1997
Springer
14 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
MFPS
1989
14 years 1 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
JTRES
2009
ACM
14 years 1 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...