13534 search results - page 2536 / 2707 » Modelling Human-Computer Interaction |
124
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
150
click to vote
CASES
2004
ACM
15 years 6 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
121
click to vote
CGI
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
111
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
127
click to vote
CIA
2006
Springer
15 years 6 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...