7778 search results - page 176 / 1556 » Designing Controllers for Reachability |
128
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
109
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Large-scale software engineering requires communication and collaboration to successfully build and ship products. We conducted a survey with Microsoft engineers on inter-team coo...
115
Voted
ER
1999
Springer
15 years 8 months ago
1999
Springer
We propose a method for modeling complex Web sources that have active user interaction requirements. Here active" refers to the fact that certain information in these sources ...
108
Voted
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Many electric appliances have recently become network reachable, and we would receive better services from them if we could use them in combination. We have therefore dev...
166
Voted
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...