Sciweavers

641 search results - page 56 / 129
» An Architectural Approach to Mobility - The Handover Case St...
Sort
View
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 7 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
IWCMC
2006
ACM
16 years 4 days ago
SCAR: context-aware adaptive routing in delay tolerant mobile sensor networks
Sensor devices are being embedded in all sorts of items including vehicles, furniture but also animal and human bodies through health monitors and tagging techniques. The collecti...
Cecilia Mascolo, Mirco Musolesi
FDL
2004
IEEE
15 years 10 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
IWC
1998
130views more  IWC 1998»
15 years 5 months ago
MobiCom: networking dispersed groups
: The paper describes MobiCom, a research project aimed at realising information technology support for dispersed groups of networking, mobile knowledge workers. MobiCom addresses ...
Steinar Kristoffersen, Fredrik Ljungberg
SAC
2009
ACM
16 years 1 months ago
A passive conformance testing approach for a MANET routing protocol
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
Ana R. Cavalli, Stéphane Maag, Edgardo Mont...