5638 search results - page 196 / 1128 » On presence |
178
click to vote
TACAS
2005
Springer
16 years 23 hour ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
156
click to vote
VMCAI
2005
Springer
16 years 21 hour ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
155
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
164
click to vote
ECOOP
2004
Springer
15 years 12 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...
173
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...