1105 search results - page 139 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
119
Voted
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
144
Voted
FCCM
2005
IEEE
15 years 9 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
151
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
140
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approa...
165
Voted
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...