10038 search results - page 448 / 2008 » Model Checking for Managers |
176
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
166
click to vote
ENC
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
196
click to vote
MIDDLEWARE
2005
Springer
16 years 15 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
239
click to vote
WWW
2003
ACM
16 years 7 days ago
2003
ACM
In this poster, we introduce the mechanism of handling the ordering structure of XML data by using the Nested Relational Sequence Database System (NRSD), which is built upon the N...
183
click to vote
PC
2008
15 years 7 months ago
2008
We present a multistage model for allocation of financial resources to bond indices in different currencies. The model was tested on historical data of interest and exchange rates...