5433 search results - page 208 / 1087 » Tool Support for Traceability-Adaptation |
153
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
We show how the database community’s notion of a generic query interface for data aggregation can be applied to ad-hoc networks of sensor devices. As has been noted in the senso...
153
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
- Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration. Thus, it appears as a powerful paradigm to develop scalable distribut...
158
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
172
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
172
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...