2088 search results - page 393 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
107
click to vote
ECOWS
2009
Springer
15 years 6 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
ER
2003
Springer
15 years 5 months ago
2003
Springer
XML is becoming a prevalent format for data exchange. Many XML documents have complex schemas that are not always known, and can vary widely between information sources and applica...
109
Voted
SAC
2000
ACM
15 years 4 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...