Sciweavers

2562 search results - page 138 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
DKE
2011
260views Education» more  DKE 2011»
14 years 10 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
SPLC
2010
15 years 4 months ago
Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
Ebrahim Bagheri, Mohsen Asadi, Dragan Gasevic, Sam...
B
2007
Springer
15 years 10 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
VTC
2007
IEEE
16 years 22 days ago
MMSE Based Interference Processing For Satellite Broadcast Reception
—The problem of Adjacent Satellite Interference (ACI) within the Direct-To-Home (DTH) satellite broadcast reception scenario is considered. The use of small DTH frontend receptio...
Klaus Schwarzenbarth, Joel Grotz, Björn E. Ot...
ENTCS
2008
91views more  ENTCS 2008»
15 years 6 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti