1156 search results - page 160 / 232 » The PENG System: Practice and Experience |
131
click to vote
CHI
1999
ACM
15 years 10 months ago
1999
ACM
The Palette is a digital appliance designed for intuitive control of electronic slide shows. Current interfaces demand too much of our attention to permit effective computer use i...
164
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
136
click to vote
ICRE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
158
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
182
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...