Sciweavers

2328 search results - page 331 / 466
» Component Frameworks - A Case Study
Sort
View
137
Voted
BCS
2008
15 years 6 months ago
Provenance-Based Auditing of Private Data Use
Across the world, organizations are required to comply with regulatory frameworks dictating how to manage personal information. Despite these, several cases of data leaks and expo...
Rocío Aldeco-Pérez, Luc Moreau
ECIS
2001
15 years 6 months ago
Challenges to Successful ERP Use
Enterprise Resource Planning (ERP) packages have, in the last five years, transformed the way organisations go about the process of providing Information Systems. Instead of craft...
Robert W. Smyth
147
Voted
AAAI
1996
15 years 6 months ago
First-Order Conditional Logic Revisited
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
Nir Friedman, Joseph Y. Halpern, Daphne Koller
GG
2010
Springer
15 years 5 months ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 4 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...