Sciweavers

4166 search results - page 350 / 834
» A modular module system
Sort
View
191
Voted
ISORC
2000
IEEE
15 years 10 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
LISA
2003
15 years 8 months ago
Preventing Wheel Reinvention: The psgconf System Configuration Framework
Most existing Unix system configuration tools are designed monolithically. Each tool stores configuration data in its own way, has its own mechanism for enforcing policy, has a fi...
Mark D. Roth
AAAI
1998
15 years 8 months ago
Structured Representation of Complex Stochastic Systems
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
Nir Friedman, Daphne Koller, Avi Pfeffer
VVEIS
2007
15 years 8 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
AUTOMATICA
2010
146views more  AUTOMATICA 2010»
15 years 6 months ago
Parameter estimation and compensation in systems with nonlinearly parameterized perturbations
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
Håvard Fjær Grip, Tor Arne Johansen, L...