1064 search results - page 105 / 213 » Disjoint Systems (Extended Abstract) |
POPL
1994
ACM
14 years 2 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
ESWS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We extend the notion of ontology matching to community-driven ontology matching. Primarily, the idea is to enable Web communities to establish and reuse ontology mappings...
ESORICS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...