1121 search results - page 86 / 225 » Building Formal Requirements Models for Reliable Software |
SOCO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
121
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
126
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
102
click to vote
BIS
2006
15 years 1 months ago
2006
Techniques for reliably estimating development efforts are a fundamental requirement for a wide-scale dissemination of ontologies in business contexts. In this paper we account fo...
AC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...