8828 search results - page 242 / 1766 » Formal methods in practice |
143
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
170
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
166
click to vote
ATAL
2009
Springer
16 years 18 days ago
2009
Springer
This paper reports on a novel decentralised technique for planning agent schedules in dynamic task allocation problems. Specifically, we use a Markov game formulation of these pr...
175
click to vote
VTC
2008
IEEE
16 years 11 days ago
2008
IEEE
— In this paper, a new method for AOA estimation, based on the synthetic ESPRIT algorithm is described and tested with actual CDMA signals. Physical size constraints of handheld ...