Sciweavers

3053 search results - page 531 / 611
» A Logic of Abstract Argumentation
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 3 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
FSTTCS
2007
Springer
14 years 3 months ago
A Theory for Game Theories
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
Michel Hirschowitz, André Hirschowitz, Tom ...
GEOS
2007
Springer
14 years 3 months ago
Algorithm, Implementation and Application of the SIM-DL Similarity Server
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
Krzysztof Janowicz, Carsten Keßler, Mirco Sc...
HOLOMAS
2007
Springer
14 years 3 months ago
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
Teppo Pirttioja, Ilkka Seilonen, Antti Pakonen, Aa...
HPCC
2007
Springer
14 years 3 months ago
Journal Remap-Based FTL for Journaling File System with Flash Memory
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...
Seung Ho Lim, Hyun-Jin Choi, Kyu Ho Park