564 search results - page 96 / 113 » Do interactive systems need specifications |
137
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
157
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
149
click to vote
CACM
2000
15 years 3 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
136
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
166
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...