Sciweavers

164 search results - page 18 / 33
» Information flow control for standard OS abstractions
Sort
View
BPM
2006
Springer
153views Business» more  BPM 2006»
13 years 11 months ago
Shop Floor Information Management and SOA
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
13 years 11 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
CAISE
2006
Springer
13 years 11 months ago
IT Service Processes - State and Open Issues
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
Rainer Schmidt
OTM
2004
Springer
14 years 26 days ago
MSF: A Workflow Service Infrastructure for Computational Grid Environments
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
Seogchan Hwang, Jaeyoung Choi
ICSOC
2009
Springer
13 years 5 months ago
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
Rainer von Ammon, Thomas Ertlmaier, Opher Etzion, ...