Sciweavers

1524 search results - page 248 / 305
» Operational Semantics of Hybrid Systems
Sort
View
POLICY
2005
Springer
15 years 3 months ago
Obligation Policies: An Enforcement Platform
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
Pedro Gama, Paulo Ferreira
APSEC
1997
IEEE
15 years 2 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
HPCC
2007
Springer
15 years 1 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
CAISE
2006
Springer
15 years 1 months ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner
VL
1998
IEEE
123views Visual Languages» more  VL 1998»
15 years 1 months ago
A Visual Development Environment for Parallel Applications
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
Philip T. Cox, Hugh Glaser, Stuart Maclean