3824 search results - page 135 / 765 » Geometry Constructions Language |
ERSHOV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
CCS
2003
ACM
14 years 4 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
EUROCRYPT
2006
Springer
14 years 2 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
HCI
2007
14 years 7 days ago
2007
Developing a robot system that can interact directly with a human instructor in a natural way requires not only highly-skilled sensorimotor coordination and action planning on the ...
SYRCODIS
2008
14 years 6 days ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...