3168 search results - page 60 / 634 » Computing Event Dependencies in System Designs and Programs |
127
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
151
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
134
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
126
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
139
click to vote
ECEASST
2008
15 years 4 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...