1950 search results - page 233 / 390 » Lambda-Free Logical Frameworks |
192
click to vote
AIL
2007
15 years 6 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
215
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
186
click to vote
DMSN
2007
ACM
15 years 10 months ago
2007
ACM
This paper assumes a set of n mobile sensors that move in the Euclidean plane as a swarm1 . Our objectives are to explore a given geographic region by detecting and aggregating sp...
207
click to vote
CNSR
2005
IEEE
15 years 8 months ago
2005
IEEE
The dramatic increase in the number of mobile subscribers has put a significant resource and service provisioning strain on current cellular networks in particular in terms of mu...
214
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....