2836 search results - page 505 / 568 » Model Checking for Software Architectures |
HT
2004
ACM
14 years 3 months ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
ISSS
2002
IEEE
14 years 3 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
FPL
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...