Sciweavers

361 search results - page 35 / 73
» Characterization of Semantics for Argument Systems
Sort
View
ICSE
1994
IEEE-ACM
15 years 7 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 7 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
NAACL
1994
15 years 4 months ago
Building Japanese-English Dictionary based on Ontology for Machine Translation
This paper describes a semi-automatic method for associating a Japanese lexicon with a semantic concept taxonomy called an ontology, using a Japanese-English bilingual dictionary ...
Akitoshi Okumura, Eduard H. Hovy
EUROPAR
2003
Springer
15 years 8 months ago
A Coordination Model for ad hoc Mobile Systems
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
Marco Tulio de Oliveira Valente, Fernando Magno Qu...
JDCTA
2008
119views more  JDCTA 2008»
15 years 3 months ago
Towards a Coordination Infrastructure for Pervasive Computing Environment Based on Tuplespace and Semantic Web
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...
Liang Li, Bin Li, Junwu Zhu