Sciweavers

1655 search results - page 215 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
AIMS
2007
Springer
16 years 17 days ago
Harnessing Models for Policy Conflict Analysis
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
Steven Davy, Brendan Jennings
ISCAS
2006
IEEE
131views Hardware» more  ISCAS 2006»
16 years 12 days ago
Static generator model for analog power flow computation
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Chika O. Nwankpa
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 14 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
SUTC
2006
IEEE
16 years 11 days ago
Design and Implementation of Ubiquitous Smart Cameras
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
Chang Hong Lin, Wayne Wolf, Andrew Dixon, Xenofon ...
FASE
1998
Springer
15 years 10 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan