6155 search results - page 1098 / 1231 » A language for multiple models of computation |
169
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
159
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
161
click to vote
JMM2
2006
15 years 6 months ago
2006
Optical Characters Recognition (OCR) has been an active subject of research since the early days of computers. Despite the age of the subject, it remains one of the most challengin...
162
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
172
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...