5718 search results - page 262 / 1144 » Modeling Rule Precision |
177
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
185
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
189
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
171
click to vote
WAIM
2005
Springer
16 years 3 days ago
2005
Springer
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
150
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...