6054 search results - page 999 / 1211 » Implementation of Andorra-based Languages |
130
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
136
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
116
click to vote
FATES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
129
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
133
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...