1497 search results - page 198 / 300 » Extended static checking |
113
Voted
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
88
Voted
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
DSOM
1999
Springer
15 years 5 months ago
1999
Springer
The administration of heterogeneous networks with many devices is a tedious and time-consuming task. Today’s approaches only provide static configuration files and make the add...
111
Voted
VL
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...