780 search results - page 104 / 156 » Compositional Quantitative Reasoning |
LPNMR
2007
Springer
14 years 5 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
OTM
2007
Springer
14 years 5 months ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
VAMOS
2007
Springer
14 years 5 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
WEBI
2007
Springer
14 years 5 months ago
2007
Springer
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
LAWEB
2006
IEEE
14 years 4 months ago
2006
IEEE
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...