1027 search results - page 63 / 206 » Callgraph properties of executables |
135
Voted
SPIN
2010
Springer
15 years 2 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...
130
Voted
CSSE
2008
IEEE
15 years 10 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...
131
Voted
IDEAS
2007
IEEE
15 years 10 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...
138
Voted
ISORC
2006
IEEE
15 years 9 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...
110
Voted
FDL
2005
IEEE
15 years 9 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...