Sciweavers

280 search results - page 23 / 56
» Argumentation in Multi-Agent Systems: Context and Recent Dev...
Sort
View
INFOCOM
2003
IEEE
15 years 11 months ago
On-line Tuning of Prices for Network Services
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...
Enrique Campos-Náñez, Stephen D. Pat...
TSD
2005
Springer
15 years 11 months ago
Robust Rule-Based Method for Automatic Break Assignment in Russian Texts
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...
Ilya Oparin
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 16 hour ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
SIGCSE
2008
ACM
92views Education» more  SIGCSE 2008»
15 years 6 months ago
Patterns for programming in parallel, pedagogically
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
Matthew C. Jadud, Jon Simpson, Christian L. Jacobs...
ICHIM
1997
118views more  ICHIM 1997»
15 years 7 months ago
Location Aware Mobile Interactive Guides: Usability Issues
This paper discusses the issues related to the application of wireless communication and positioning technologies to the development of hand-held electronic tour guides. These iss...
Jonathan Broadbent, Patrizia Marti