561 search results - page 93 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
88
Voted
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
148
click to vote
CSI
2007
15 years 1 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
113
click to vote
HIKM
2006
ACM
15 years 7 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
140
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
The demand for an efficient fault tolerance system has led to the development of complex monitoring infrastructure, which in turn has created an overwhelming task of data and even...
125
Voted
LADC
2007
Springer
15 years 8 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...