2705 search results - page 241 / 541 » Formal Ontology for Subject |
EDO
2006
Springer
13 years 12 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
GECCO
2006
Springer
13 years 12 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...