2540 search results - page 326 / 508 » Abstract Logics as Dialgebras |
113
Voted
HCI
2007
15 years 2 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
124
Voted
COMCOM
2006
15 years 21 days ago
2006
Abstract--In this paper we present the design, implementation, and performance analysis of Group-Aided Multicast (GAM), a scalable many-tomany reliable multicast transport protocol...
131
Voted
AIML
2004
15 years 2 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
100
Voted
EKAW
1999
Springer
15 years 5 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
103
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...