3381 search results - page 466 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
182
click to vote
IWCMC
2006
ACM
16 years 15 days ago
2006
ACM
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
173
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
179
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
190
click to vote
ICSEA
2006
IEEE
16 years 17 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
159
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...