12981 search results - page 2301 / 2597 » Model Checking (Abstract) |
158
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
160
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We developed the Nested Relational Sequence Database System (NRSD System), which is built upon the Nested Relational Sequence Model (NRSM). The NRSM eliminates a substant...
154
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
129
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
132
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...