1823 search results - page 122 / 365 » Formal specification: a roadmap |
161
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
Mobile vision services are a type of mobile ITS applications that emerge with increased miniaturization of sensor and computing devices, such as in camera equipped mobile phones, ...
139
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
155
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
119
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
127
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...