Sciweavers

2562 search results - page 240 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
ICDT
1997
ACM
138views Database» more  ICDT 1997»
15 years 11 months ago
Tractable Iteration Mechanisms for Bag Languages
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
Latha S. Colby, Leonid Libkin
WER
2007
Springer
16 years 24 days ago
A Requirements Management Framework for Privacy Compliance
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Sepideh Ghanavati, Daniel Amyot, Liam Peyton
ICUMT
2009
15 years 4 months ago
Information flow security for service compositions
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
Sabina Rossi, Damiano Macedonio
OPODIS
2010
15 years 4 months ago
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
Chryssis Georgiou, Procopis Hadjiprocopiou, Peter ...
RSP
2003
IEEE
176views Control Systems» more  RSP 2003»
15 years 12 months ago
Rapid Design and Analysis of Communication Systems Using the BEE Hardware Emulation Environment
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
Chen Chang, Kimmo Kuusilinna, Brian C. Richards, A...