3089 search results - page 540 / 618 » services 2008 |
ATVA
2008
Springer
13 years 12 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
AUTONOMICS
2008
ACM
13 years 12 months ago
2008
ACM
Inspired by the collective foraging behavior of specific ant species, ant-based routing algorithms are able to find optimal or near optimal packet routes for Wireless Mesh Network...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
CBSE
2008
Springer
13 years 12 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
CBSE
2008
Springer
13 years 12 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...