513 search results - page 37 / 103 » Clustering Related Terms with Definitions |
ESAW
2001
Springer
14 years 4 days ago
2001
Springer
Mobile application components can be effectively and uniformly modeled in terms of autonomous agents moving across different context during execution. In this paper, we introduce a...
CRITICAL
2005
13 years 9 months ago
2005
This paper considers multiple meanings of dependability as part of a project investigating home based assistive and smart home technology for older people. It argues that because ...
FOIS
2001
13 years 9 months ago
2001
- It is no secret that the multidisciplinary sphere of information systems has borrowed the term `ontology' from philosophy, and reinterpreted it to be more suitable for infor...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...