2496 search results - page 355 / 500 » Error-detecting properties of languages |
149
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
141
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
132
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
131
click to vote
SENSYS
2005
ACM
15 years 10 months ago
2005
ACM
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...
168
click to vote
VEE
2005
ACM
15 years 10 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...