4350 search results - page 594 / 870 » Case studies for contract-based systems |
180
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
168
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—The multiple-input multiple-output (MIMO) radar concept has drawn considerable attention recently. In the traditional single-input multiple-output (SIMO) radar system, the trans...
184
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been...
207
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
154
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
It has not been since the advent of the client/server architecture break through that an architectural concept has changed the face of enterprise systems so significantly as it h...