SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
SIGSOFT
2000
ACM
14 years 9 days ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
IUI
2000
ACM
14 years 9 days ago
2000
ACM
This paper describes the design and implementation of the Office Assistant – an agent that interacts with visitors at the office door and manages the office owner’s schedule. ...
IUI
2000
ACM
14 years 9 days ago
2000
ACM
The rapid growth of the Internet has resulted in enormous amounts of information that has become more difficult to access efficiently. Internet users require tools to help manage ...
IUI
2000
ACM
14 years 9 days ago
2000
ACM
Computer gaming offers a unique test-bed and market for advanced concepts in computer science, such as Human Computer Interaction (HCI), computer-supported collaborative work (CSC...