Sciweavers

2516 search results - page 226 / 504
» Integrity Constraints for XML
Sort
View
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 6 months ago
Convex Hull of Arithmetic Automata
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...
Jérôme Leroux
JOTA
2010
91views more  JOTA 2010»
15 years 1 months ago
Structure of Viability Kernels for Some Linear Differential Games
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
N. D. Botkin, E. A. Ryazantseva
JIT
2004
Springer
131views Database» more  JIT 2004»
15 years 12 months ago
Testing of Service-Oriented Architectures - A Practical Approach
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
Schahram Dustdar, Stephan Haslinger
HT
2000
ACM
15 years 11 months ago
Ontology-supported and ontology-driven conceptual navigation on the World Wide Web
This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to ...
Michel Crampes, Sylvie Ranwez
ISIM
2007
15 years 8 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska