Sciweavers

1912 search results - page 238 / 383
» On the evaluation of argumentation formalisms
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 11 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
INTELLCOMM
2004
Springer
15 years 11 months ago
An Implementation of Indoor Location Detection Systems Based on Identifying Codes
We present the design, implementation and evaluation of a location detection system built over a Radio Frequency network based on the IEEE 802.11 standard. Our system employs beac...
Rachanee Ungrangsi, Ari Trachtenberg, David Starob...
JELIA
2004
Springer
15 years 11 months ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
MDM
2004
Springer
140views Communications» more  MDM 2004»
15 years 11 months ago
Disconnected Operation in Publish/Subscribe Middleware
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
Ioana Burcea, Hans-Arno Jacobsen, Eyal de Lara, Vi...
OOPSLA
2004
Springer
15 years 11 months ago
Empirical investigation of the impact of extreme programming practices on software projects
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
Lucas Layman