CL
2010
Springer
13 years 11 months ago
2010
Springer
CL
2010
Springer
13 years 11 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
CL
2010
Springer
13 years 11 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
CL
2010
Springer
13 years 11 months ago
2010
Springer
DEON
2010
Springer
13 years 11 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
GIS
2008
ACM
14 years 18 days ago
2008
ACM
Open Digital Rights Language (ODRL) is an extensible language for specifying Rights Policy in the context of Digital Rights Management (DRM) applications. The OpenGIS® Web Map Se...
GIS
2008
ACM
14 years 18 days ago
2008
ACM
With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBS). Although LBS provide enhanced functionalities, they open up ne...
GIS
2008
ACM
14 years 18 days ago
2008
ACM
GIS
2008
ACM
14 years 18 days ago
2008
ACM