8179 search results - page 1366 / 1636 » The PRACTIONIST Development Tool |
188
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
159
Voted
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
151
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
143
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
140
click to vote
SOFSEM
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...