2364 search results - page 210 / 473 » An Engine for Computing Well-Founded Models |
129
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
129
Voted
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
Changes of software systems are less expensive and less error-prone if they affect only one subsystem. Thus, clusters of artifacts that are frequently changed together are subsyst...
121
Voted
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
150
Voted
APL
2000
ACM
15 years 9 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
128
click to vote
AVI
2004
15 years 6 months ago
2004
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...