Sciweavers

7040 search results - page 255 / 1408
» The Single Model Principle
Sort
View
FATES
2006
Springer
15 years 10 months ago
Dynamic Architecture Extraction
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
Cormac Flanagan, Stephen N. Freund
AUTOMATICA
2008
81views more  AUTOMATICA 2008»
15 years 6 months ago
Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existenc
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
Seong-Jin Park, Kwang-Hyun Cho
MODELS
2007
Springer
16 years 21 days ago
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
Michael Hafner, Mukhtiar Memon, Muhammad Alam
EURODAC
1994
IEEE
138views VHDL» more  EURODAC 1994»
15 years 10 months ago
A VHDL-based bus model for multi-PCB system design
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
Jari Toivanen, Jari Honkola, Jari Nurmi, Jyrki Tuo...
FQAS
2006
Springer
106views Database» more  FQAS 2006»
15 years 10 months ago
A Functional Model for Data Analysis
We present a functional model for the analysis of large volumes of detailed transactional data, accumulated over time. In our model, the data schema is an acyclic graph with a sing...
Nicolas Spyratos