Sciweavers

1188 search results - page 49 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
ECAI
2000
Springer
15 years 8 months ago
Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging
The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...
Salem Benferhat, Didier Dubois, Souhila Kaci, Henr...
WSPI
2008
15 years 5 months ago
Semantics of Information as Interactive Computation
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
Gordana Dodig-Crnkovic
DEXAW
2003
IEEE
117views Database» more  DEXAW 2003»
15 years 9 months ago
Toward Hypermedia Design Methods for the Semantic Web
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
Susana Montero, Paloma Díaz, Ignacio Aedo, ...
UML
2005
Springer
15 years 9 months ago
Code Generation from UML Models with Semantic Variation Points
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
Franck Chauvel, Jean-Marc Jézéquel
BIRTHDAY
2012
Springer
14 years 8 hour ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova