2935 search results - page 65 / 587 » An Integrated Approach to High Integrity Software Verificati... |
129
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
137
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
155
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
154
click to vote
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
143
click to vote
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...