Sciweavers

4902 search results - page 709 / 981
» Structures, Semantics and Statistics
Sort
View
FORTE
2008
15 years 8 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
HCI
2007
15 years 8 months ago
Tracing Conceptual and Geospatial Diffusion of Knowledge
Understanding the dynamics of knowledge diffusion has profound theoretical and practical implications across a wide variety of domains, ranging from scientific disciplines to educa...
Chaomei Chen, Weizhong Zhu, Brian M. Tomaszewski, ...
LREC
2008
114views Education» more  LREC 2008»
15 years 8 months ago
Ontology Search with the OntoSelect Ontology Library
OntoSelect is a dynamic web-based ontology library that harvests, analyzes and organizes ontologies published on the Semantic Web. OntoSelect allows searching as well as browsing ...
Paul Buitelaar, Thomas Eigner
IJCAI
2007
15 years 8 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
WICSA
2008
15 years 8 months ago
Extraction of Component-Based Architecture from Object-Oriented Systems
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
Sylvain Chardigny, Abdelhak Seriai, Mourad Oussala...