3765 search results - page 416 / 753 » Formal Methods for Systems Engineering Behavior Models |
200
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
175
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
223
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
186
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
176
click to vote
RTAS
2006
IEEE
16 years 23 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...