3077 search results - page 527 / 616 » Design Principles for Application Integration |
128
click to vote
COSIT
1997
Springer
15 years 6 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
131
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
119
Voted
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
117
Voted
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
New connection-oriented networking technologies can provide quality-of-service guaranteed network connectivity required by some web-based applications. In this paper, we present a...
124
Voted
ATVA
2004
Springer
15 years 6 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...