803 search results - page 65 / 161 » Building Formal Models for Software Requirements |
144
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
130
Voted
ICHIT
2009
Springer
15 years 10 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
154
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
117
Voted
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
130
Voted
JRTIP
2008
15 years 3 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...