2719 search results - page 319 / 544 » Exposing Application Alternatives |
150
click to vote
SAFECOMP
2004
Springer
15 years 12 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
138
click to vote
WCW
2004
Springer
15 years 12 months ago
2004
Springer
This paper proposes the idea of emulating fat-trees in overlays for multi-source multicast applications. Fat-trees are like real trees in that their branches become thicker the clo...
157
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
On-Line Transaction Processing (OLTP) systems constitute the kernel of the information systems used today to support the daily operations of most organizations. Although these sys...
149
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
219
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...