1027 search results - page 63 / 206 » Callgraph properties of executables |
108
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
107
Voted
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
106
Voted
IDEAS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
110
click to vote
ISORC
2006
IEEE
15 years 6 months ago
2006
IEEE
The fault tolerance provided by FT-CORBA is basically static, that is, once the fault tolerance properties of a group of replicated processes defined, they cannot be modified in r...
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...