23098 search results - page 407 / 4620 » Component Based Development |
182
Voted
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
190
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
The dependability of overlay services rely on the overlay network’s capabilities to effectively diagnose and recover faults (e.g., link failures, overlay node outages). However,...
181
click to vote
BMCBI
2007
15 years 6 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
174
click to vote
ENTCS
2007
15 years 6 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
235
click to vote
IJWET
2007
15 years 6 months ago
2007
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...