2836 search results - page 561 / 568 » Model Checking for Software Architectures |
SIMUTOOLS
2008
13 years 9 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
BMCBI
2007
13 years 7 months ago
2007
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
TWC
2008
13 years 7 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
GRID
2010
Springer
13 years 5 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...