2351 search results - page 418 / 471 » A Method of Requirement Inconsistency Analysis |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
We describe a query-driven indexing framework for scalable text retrieval over structured P2P networks. To cope with the bandwidth consumption problem that has been identified as ...
165
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...