7082 search results - page 240 / 1417 » A framework for mobile evaluation |
187
click to vote
FLAIRS
2003
15 years 8 months ago
2003
AI planning systems tend to be disembodied and are not situated within the environment for which plans are generated, thus losing information concerning the interaction between th...
295
click to vote
ENTCS
2002
15 years 6 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
175
click to vote
ISCC
2005
IEEE
16 years 7 days ago
2005
IEEE
This position paper presents the trend of the research focus transition from mobility management to connectivity management, for the emerging pervasive and ubiquitous computing pa...
194
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
184
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...