1410 search results - page 65 / 282 » An operational approach to the design of workflow systems |
123
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
116
click to vote
FPL
2007
Springer
15 years 7 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
94
Voted
JSW
2008
15 years 1 months ago
2008
Usability is a multi-dimensional characteristic of a computer system. This paper focuses on usability as a measurement of interaction between the user and the system. The research ...
116
click to vote
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...
114
click to vote
INFORMATICALT
2002
15 years 1 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...