Sciweavers

451 search results - page 28 / 91
» Goal-oriented Analysis of Regulations
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 5 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
AMC
2006
79views more  AMC 2006»
15 years 4 months ago
VC-dimension and structural risk minimization for the analysis of nonlinear ecological models
The problem of distinguishing density-independent (DI) from density-dependent (DD) demographic time series is important for understanding the mechanisms that regulate populations ...
Giorgio Corani, Marino Gatto
126
Voted
BMCBI
2007
106views more  BMCBI 2007»
15 years 4 months ago
In silico identification of NF-kappaB-regulated genes in pancreatic beta-cells
Background: Pancreatic beta-cells are the target of an autoimmune attack in type 1 diabetes mellitus (T1DM). This is mediated in part by cytokines, such as interleukin (IL)-1β an...
Najib Naamane, Jacques van Helden, Decio L. Eiziri...
SOCIALCOM
2010
15 years 1 months ago
The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
Wei Wei, Ting Yu
HCI
2009
15 years 1 months ago
A Study on the Design of Voice Navigation of Car Navigation System
This study tries to find the designing blind spots of the voice prompt function in the current car navigation systems and make improvement suggestions. The experimental plan was im...
Chih-Fu Wu, Wan-Fu Huang, Tung-Chen Wu