Sciweavers

CJ
2002
79views more  CJ 2002»
13 years 11 months ago
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Muffy Calder, Savi Maharaj, Carron Shankland
CJ
2002
122views more  CJ 2002»
13 years 11 months ago
Java for On-line Distributed Monitoring of Heterogeneous Systems and Services
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
CJ
2002
65views more  CJ 2002»
13 years 11 months ago
Practical Earley Parsing
John Aycock, R. Nigel Horspool