1521 search results - page 77 / 305 » On Sampled Semantics of Timed Systems |
ISCAS
2006
IEEE
14 years 5 months ago
2006
IEEE
—We characterize the metastability measurement system [8] in which asynchronous data input and sampling clock frequencies trigger metastability. We develop the equation describin...
FDL
2007
IEEE
14 years 5 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
DEXAW
2008
IEEE
14 years 5 months ago
2008
IEEE
In the recent years, we are witnessing an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the enterprise environment ...
CORR
2007
Springer
13 years 11 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
FMCAD
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...