132
Voted
ICSE
16 years 27 days ago
2004 IEEE-ACM 
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
120
click to vote
ICSE
16 years 27 days ago
2004 IEEE-ACM 
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
113
Voted
ICSE
16 years 27 days ago
2004 IEEE-ACM 
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
113
Voted
ICSE
16 years 27 days ago
2004 IEEE-ACM 
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
112
Voted
ICSE
16 years 27 days ago
2004 IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
|
Software Engineering