2067 search results - page 28 / 414 » Modeling and Simulation of Operating System Behavior |
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
TCS
2008
14 years 9 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
105
Voted
AOSE
2008
Springer
14 years 11 months ago
2008
Springer
The organizational view on work systems focuses on the desired outcomes of work, while the emergent view focuses on how the work actually gets done. Often a gap exists between thes...
SOSYM
2010
14 years 8 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
ICCAD
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper presents a method to characterize Nyquist rate A/D converters based on the use of a first order statistical behavioral model. The proposed model is derived from a very...