Sciweavers

3429 search results - page 502 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
15 years 4 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
IFIP
2009
Springer
15 years 1 months ago
Making PROFIT at the Intermodal Terminal - A Research Agenda
: Intermodality has been a hot topic in the logistics sector for several decades, but the expected diffusion into business is still limited. The key to increased intermodalism lies...
Torbjörn H. Netland, Ingrid Spjelkavik
IRI
2007
IEEE
15 years 10 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
AGTIVE
2007
Springer
15 years 10 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
SEMWEB
2007
Springer
15 years 10 months ago
Ontology-Based Information Extraction for Business Intelligence
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...
Horacio Saggion, Adam Funk, Diana Maynard, Kalina ...