43 search results - page 4 / 9 » DMaC: Distributed Monitoring and Checking |
ISORC
2002
IEEE
14 years 14 days ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A free and easy to use distributed monitoring and measurement platform would be valuable in several applications: monitoring network or server infrastructures, performing...
PDP
2009
IEEE
14 years 2 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
ICALP
2003
Springer
14 years 23 days ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
EDOC
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...