8808 search results - page 1362 / 1762 » Process of Software Evolution |
155
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
185
click to vote
FMICS
2007
Springer
16 years 29 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
167
click to vote
GPCE
2007
Springer
16 years 29 days ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
248
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
192
click to vote
ISSAC
2007
Springer
16 years 29 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...