7080 search results - page 770 / 1416 » Designing High Integrity Systems Using Aspects |
223
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
211
click to vote
IOPADS
1996
15 years 8 months ago
1996
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...
221
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
200
click to vote
CICLING
2001
Springer
15 years 12 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
310
click to vote
SBSC
2008
IEEE
16 years 1 months ago
2008
IEEE
The world globalization process, the increasing demand for communication and information technologies create a demand for collaborative applications. Aiming at supporting communic...