Sciweavers

3706 search results - page 122 / 742
» OntoComP System Description
Sort
View
VTC
2007
IEEE
112views Communications» more  VTC 2007»
15 years 11 months ago
Unequal Importance Image Communication over Heterogeneous Networks
An unequal importance communication approach, for reliable and real-time image communication over heterogeneous networks and its applications in mobile communication systems is pre...
Mehdi Malboubi, Ahmad Bahai, Mustafa Ergen, Pravin...
DLOG
2003
15 years 6 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
DICS
2006
15 years 7 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
ECAL
2007
Springer
15 years 11 months ago
Category Theoretical Distinction Between Autopoiesis and (M, R) Systems
Abstract. Some research works have mentioned the similarity of autopoiesis with (M,R) systems proposed by Rosen, from the perspective of closedness of the systems. However, there a...
Tatsuya Nomura
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
15 years 8 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel