Sciweavers

226 search results - page 31 / 46
» Flexible Abstraction Layers for VR Application Development
Sort
View
EUROSIM
1994
14 years 11 months ago
Pact: An Environment for Parallel Heuristic Programming
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
Marc Aguilar, Béat Hirsbrunner
SIGSOFT
2008
ACM
15 years 10 months ago
Exception handling patterns for processes
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
Barbara Staudt Lerner, Stefan Christov, Alexander ...
ISTA
2008
14 years 11 months ago
Towards a Theory of Services
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
Wolfgang Reisig
LISP
2008
154views more  LISP 2008»
14 years 9 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka
CORR
2010
Springer
157views Education» more  CORR 2010»
14 years 7 months ago
Constraint-Guided Workflow Composition Based on the EDAM Ontology
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Ste...