91 search results - page 11 / 19 » Behavioral Model Composition in Simulation-Based Design |
108
Voted
LAWEB
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
76
Voted
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
DAC
2000
ACM
16 years 17 days ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
TGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
62
Voted
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...