1410 search results - page 199 / 282 » An operational approach to the design of workflow systems |
124
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
115
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The effect of the operating system on application performance is an increasingly important consideration in high performance computing. OS kernel measurement is key to understandi...
115
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
101
click to vote
GCA
2007
15 years 3 months ago
2007
On-Demand Computing fulfills the need of computing availability at limited hardware and software costs. Distributed systems of this kind typically store user files in a shared ...
109
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...