5096 search results - page 736 / 1020 » Associations as a Language Construct |
171
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
210
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
168
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
179
click to vote
EWSPT
2003
Springer
15 years 12 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
194
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...