18209 search results - page 50 / 3642 » Some Remarks on the Paper |
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— The ability of building maps of environments where they operate is one of the main requirements for autonomous mobile robots. An efficient map building process is based on a g...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
Based on our findings from an ongoing pilot with shared computers in rural primary schools in Uttar Pradesh, India since 2001 and two follow-up field studies in the same schools i...