14360 search results - page 120 / 2872 » Time Modeling in MARTE |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
JOT
2010
13 years 7 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
MA
2011
Springer
13 years 3 months ago
2011
Springer
This paper suggests a new technique to construct first order Markov processes using products of copula functions, in the spirit of Darsow et al. (1992). The approach requires the...
ISAS
2007
Springer
14 years 3 months ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
CCS
2006
ACM
14 years 20 days ago
2006
ACM
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...