2407 search results - page 329 / 482 » A Tool for Abstraction in Model Checking |
207
Voted
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
320
Voted
AVI
2000
15 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
227
click to vote
JWSR
2008
15 years 7 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
155
click to vote
JMS
2010
15 years 5 months ago
2010
This paper describes the development of a tree-based decision model to predict the severity of pediatric asthma exacerbations in the emergency department (ED) at two hours followi...
190
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...