3334 search results - page 488 / 667 » XML to XML through XML |
156
click to vote
IJISTA
2007
15 years 6 months ago
2007
: Internet based distributed collaborative commerce must resolve two problems first. One is what organisation shape is and the other is how to establish an efficient and active org...
147
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
166
click to vote
JAR
2007
15 years 6 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
170
click to vote
COLING
2002
15 years 6 months ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
206
click to vote
JUCS
2002
15 years 6 months ago
2002
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...