Sciweavers

1188 search results - page 49 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
132
Voted
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...
107
Voted
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
128
Voted
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, ...
117
Voted
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
13 years 11 months 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