7167 search results - page 218 / 1434 » A Technique for Invariant Generation |
196
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
187
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
While using how-to documents for guidance in performing computer-based tasks, users often run into problems due to inaccurate, out-of-date and incomplete documentation. These prob...
166
click to vote
PASTE
2005
ACM
16 years 24 days ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
199
click to vote
ADC
2004
Springer
16 years 19 days ago
2004
Springer
Aggregating spatial objects is a necessary step in generating spatial data cubes to support roll-up/drill-down operations. Current approaches face performance bottleneck issues wh...
192
click to vote
ISICT
2003
15 years 8 months ago
2003
Situational information can enrich the interactions between a user and the services they wish to utilize. Such information encompasses details about the user, the physical environ...