3483 search results - page 220 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
133
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
143
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Accurate power and performance figures are critical to assess the effective design of possible sensor node architectures in Body Area Networks (BANs) since they operate on limite...
123
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
123
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Despite the well-known fact that sensing patterns in reality are highly irregular, researchers continue to develop protocols with simplifying assumptions about the sensing. For ...
155
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...