Sciweavers

4008 search results - page 714 / 802
» An expressive language of signatures
Sort
View
EDOC
2004
IEEE
14 years 2 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
CLEF
2006
Springer
14 years 2 months ago
The Bilingual System MUSCLEF at QA@CLEF 2006
This paper presents our bilingual question-answering system MUSCLEF. We underline the difficulties encountered when shifting from a mono to a cross-lingual system, then we focus o...
Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba,...
EUSAI
2004
Springer
14 years 2 months ago
Distance-Based Access Modifiers Applied to Safety in Home Networks
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
Kjeld Høyer Mortensen, Kari R. Schougaard, ...
ECOWS
2006
Springer
14 years 2 months ago
A Multimedia-Specific Approach to WS-Agreement
WS-Agreement offers a general language and protocol to establish agreements between two parties. In principle, this generality enables a wide variety of domains to be covered. Yet...
Wilfried Jouve, Julien Lancia, Charles Consel, Cal...
EKAW
2006
Springer
14 years 2 months ago
Distributed Multi-contextual Ontology Evolution - A Step Towards Semantic Autonomy
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
Maciej Zurawski