2935 search results - page 252 / 587 » An Integrated Approach to High Integrity Software Verificati... |
161
click to vote
WER
2007
Springer
16 years 22 days ago
2007
Springer
The Problem Frames approach defines identifiable problem classes based on, among other things, their context and the characteristics of their domains, interfaces and requirements,...
183
click to vote
SELMAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. A crucial part of multi-agent system design is the design of agent interactions. Traditional approaches to designing agent interaction use interaction protocols, which fo...
159
click to vote
LCTRTS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
242
click to vote
JODS
2008
15 years 6 months ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
169
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...