4036 search results - page 519 / 808 » Formal Methods |
182
click to vote
VECPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
166
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
193
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
210
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
183
click to vote
DFG
2003
Springer
15 years 12 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...