3161 search results - page 203 / 633 » A Discourse on Complexity of Process Models |
101
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
119
Voted
BMCV
2000
Springer
15 years 8 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
128
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
171
Voted
TII
2008
15 years 3 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
133
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...