939 search results - page 127 / 188 » Semantic Abstraction and Quantum Computation |
ACII
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
ERSHOV
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
COORDINATION
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
ICCS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...