1054 search results - page 155 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
163
click to vote
ASWEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
158
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
135
click to vote
INEX
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we document our efforts at INEX 2007 where we participated in the Ad Hoc Track, the Link the Wiki Track, and the Interactive Track that continued from INEX 2006. Ou...
137
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
178
click to vote
SSD
1993
Springer
15 years 8 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...