1027 search results - page 101 / 206 » Callgraph properties of executables |
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
122
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
117
click to vote
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...