11374 search results - page 39 / 2275 » A System Demonstration of ST-TCP |
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
HYBRID
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
TRUSTBUS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
IMSCCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper demonstrates a heterogeneous windows cluster system to obtain high performance computing (HPC) resources for medical image reconstruction applications. The communicatio...