182
click to vote
IWPC
1998
IEEE
16 years 18 hour 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...
204
Voted
WDAG
1999
Springer
16 years 18 hour 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...
231
Voted
WDAG
1999
Springer
16 years 18 hour 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...
193
Voted
WADS
1999
Springer
16 years 18 hour ago
1999
Springer
138
Voted
WADS
1999
Springer
16 years 18 hour ago
1999
Springer
160
Voted
WADS
1999
Springer
16 years 18 hour ago
1999
Springer
157
Voted
WADS
1999
Springer
16 years 18 hour ago
1999
Springer
166
Voted
WADS
1999
Springer
16 years 18 hour ago
1999
Springer
162
Voted
TACAS
1999
Springer
16 years 19 hour 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...