2205 search results - page 257 / 441 » Mutation Operators for Specifications |
128
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
160
click to vote
SRDS
1993
IEEE
15 years 8 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
128
click to vote
VLDB
1993
ACM
15 years 8 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
128
click to vote
EMNETS
2007
15 years 8 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
148
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...