Sciweavers

432 search results - page 15 / 87
» An Approach To Multilevel Semantics For Applied Systems
Sort
View
SACMAT
2009
ACM
14 years 4 months ago
A decision support system for secure information sharing
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi,...
AOSE
2004
Springer
14 years 3 months ago
A Formal Approach to Design and Reuse Agent and Multiagent Models
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
Vincent Hilaire, Olivier Simonin, Abder Koukam, Ja...
CAV
2005
Springer
129views Hardware» more  CAV 2005»
14 years 3 months ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
ACL
2003
13 years 11 months ago
Deverbal Compound Noun Analysis Based on Lexical Conceptual Structure
This paper proposes a principled approach for analysis of semantic relations between constituents in compound nouns based on lexical semantic structure. One of the difficulties o...
Koichi Takeuchi, Kyo Kageura, Teruo Koyama
ENC
2005
IEEE
14 years 4 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...