671 search results - page 114 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
IS
2008
13 years 8 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
WSC
2008
13 years 10 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...