3865 search results - page 338 / 773 » From Bidirectionality to Alternation |
182
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
135
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Deregulated wholesale markets for bulk electricity supplies are likely to deviate from the perfectly competitive ideal in many areas where transmission losses, costs and capacity ...
170
click to vote
RT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Lighting design is often tedious due to the required physical manipulation of real light sources and objects. As an alternative, we present an interactive system to virtu...
174
Voted
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
194
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...