3101 search results - page 201 / 621 » Composing Adaptive Software |
154
click to vote
COMPSAC
2005
IEEE
16 years 18 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
207
Voted
QSIC
2005
IEEE
16 years 17 days ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
194
Voted
UIST
2005
ACM
16 years 16 days ago
2005
ACM
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
191
click to vote
EUC
2005
Springer
16 years 15 days ago
2005
Springer
In this paper, we introduce a concrete, practical Ubiquitous Organizational Information (UOI) service framework, providing novice users intelligent and useful services with respect...
159
click to vote
AMAST
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...