641 search results - page 55 / 129 » An Architectural Approach to Mobility - The Handover Case St... |
138
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
162
click to vote
TC
2008
15 years 6 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
193
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
189
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The two dominant costs in continuous spatial query systems are the wireless communication cost for location update, and the evaluation cost for query processing. Existing works add...
164
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...