Sciweavers

1083 search results - page 194 / 217
» On the Use of Behavioural Equivalences for Web Services' Dev...
Sort
View
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
14 years 2 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
WECWIS
2002
IEEE
136views ECommerce» more  WECWIS 2002»
14 years 1 months ago
XML-based Advanced UDDI Search Mechanism for B2B Integration
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...
Liang-Jie Zhang, Haifei Li, Henry Chang, Tian Chao
ECAI
2010
Springer
13 years 9 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
ATAL
2003
Springer
14 years 1 months ago
Robust software via agent-based redundancy
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
Michael N. Huhns, Vance T. Holderfield, Rosa Laura...
ICCE
2007
114views Education» more  ICCE 2007»
13 years 10 months ago
Investigating the Reuse of Course Generation Knowledge
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
Carsten Ullrich, Qinghua Chen, Sushing Chen, Lipin...