931 search results - page 10 / 187 » aim 2005 |
WPES
2005
ACM
14 years 3 months ago
2005
ACM
This study aims to develop techniques for allowing users to form more accurate expectations of privacy. We have developed a peripheral display for notifying users when their compu...
ASM
2005
ASM
14 years 3 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
CAEPIA
2005
Springer
14 years 3 months ago
2005
Springer
After defining what is understood by textual entailment and semantic equivalence, the present state and the desirable future of the systems aimed at recognizing them is shown. A c...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
. This paper aims at proposing a global view of the interoperability problem, independently of any domain. We first describe explicitly the problem, and the context in which it app...