197 search results - page 29 / 40 » Unifying Architectural and Behavioural Specifications of Dis... |
FM
2006
Springer
14 years 1 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
AAAI
1998
13 years 9 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
BTW
2003
Springer
14 years 1 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
DOA
2001
13 years 9 months ago
2001
Java Remote Method Invocation (RMI) is a specification for building distributed object-oriented applications. RMI was designed primarily for use in conventional, wired computing e...
CIKM
2009
Springer
13 years 11 months ago
2009
Springer
Federated text search provides a unified search interface for multiple search engines of distributed text information sources. Resource selection is an important component for fed...