3130 search results - page 261 / 626 » Design Correctness of Digital Systems |
133
Voted
DL
1999
Springer
15 years 9 months ago
1999
Springer
We describe an image retrieval system we built based on a Zoomable User Interface (ZUI). We also discuss the design, results and analysis of a controlled experiment we performed o...
128
click to vote
IWPC
2007
IEEE
15 years 11 months ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
168
click to vote
ASWSD
2006
Springer
15 years 8 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
142
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
151
Voted
MOMPES
2009
IEEE
15 years 11 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...