12774 search results - page 205 / 2555 » A Framework for Proof Systems |
195
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
149
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Many universities and private corporations are investing significant capital in online learning initiatives. Willingness on the part of the student to take part in online learning...
194
click to vote
ICIAP
1995
ACM
15 years 10 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
171
click to vote
ASIAN
2004
Springer
15 years 12 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
154
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...