302 search results - page 16 / 61 » Science in the Palms of Their Hands |
BPM
2009
Springer
13 years 11 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...
AMC
2006
13 years 7 months ago
2006
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...
HUMAN
2005
Springer
14 years 1 months ago
2005
Springer
Syntactically different URLs could represent the same web page on the World Wide Web, and duplicate representation for web pages causes web applications to handle a large amount of...