2957 search results - page 298 / 592 » Processing Self Corrections |
156
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
211
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
162
click to vote
BPM
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
168
click to vote
CMMR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
168
click to vote
CSL
2004
Springer
16 years 2 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...