1027 search results - page 45 / 206 » Callgraph properties of executables |
94
Voted
CASCON
2007
15 years 2 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
121
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
100
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputat...
134
click to vote
SAM
2004
15 years 2 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...