566 search results - page 60 / 114 » Supporting dynamic aspect-oriented features |
109
click to vote
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—The increasing use of RFID tags in many applications have brought forth valid concerns of privacy and anonymity among users. One of the primary concerns with RFID tags i...
138
click to vote
VL
2010
IEEE
14 years 10 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
100
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...