Sciweavers

4434 search results - page 617 / 887
» On the Composition of Hybrid Systems
Sort
View
EWIMT
2004
15 years 8 months ago
Reasoning on the Web: Language Prototypes and Perspectives
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
Sacha Berger, François Bry, Bernhard Lorenz...
ROOM
2000
15 years 8 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
AAAI
1996
15 years 8 months ago
Building Steady-State Simulators via Hierarchical Feedback Decomposition
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
Nicolas F. Rouquette
CLEF
2010
Springer
15 years 7 months ago
RGU at ImageCLEF2010 Wikipedia Retrieval Task
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
Jun Wang, Dawei Song, Leszek Kaliciak
IJCIS
2006
126views more  IJCIS 2006»
15 years 6 months ago
Developing Distributed Services Using an Aspect Oriented Model Driven Framework
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Rob...