2468 search results - page 362 / 494 » Aggregation operators 2003 |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
WS
2003
ACM
14 years 2 months ago
2003
ACM
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...
CICLING
2003
Springer
14 years 2 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
DBPL
2003
Springer
14 years 2 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
MRC
2003
13 years 10 months ago
2003
Urban search and rescue is a difficult domain for autonomous mobile robots to operate in. The environment can be expected to be highly unstructured, with many obstacles and hazard...