981 search results - page 156 / 197 » Semantics-aware trace analysis |
103
click to vote
PDP
2002
IEEE
15 years 6 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
110
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
141
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
173
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
141
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...