2169 search results - page 225 / 434 » Mobile Processing in Open Systems |
167
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...
192
Voted
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
163
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
As open source development has evolved, differentiation of roles and increased sophistication of collaborative processes has occurred. Recently, we described coordination issues i...
191
Voted
TPHOL
2009
IEEE
16 years 22 days ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
162
click to vote
ERLANG
2006
ACM
16 years 2 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...