IWPC
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
WDAG
1999
Springer
14 years 3 months ago
1999
Springer
WDAG
1999
Springer
14 years 3 months ago
1999
Springer
This short paper establishes lower bounds on the time complexity of algorithms solving the generic broadcast problem. The paper shows that (a) to deliver messages in one round, no...
WDAG
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. With the emergence of the internet, independent applications are starting to be integrated with each other. This creates a need for technology for glueing together applic...
WADS
1999
Springer
14 years 3 months ago
1999
Springer
WADS
1999
Springer
14 years 3 months ago
1999
Springer
WADS
1999
Springer
14 years 3 months ago
1999
Springer
WADS
1999
Springer
14 years 3 months ago
1999
Springer
WADS
1999
Springer
14 years 3 months ago
1999
Springer
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...