Sciweavers

1426 search results - page 177 / 286
» Specification of nonmonotonic reasoning
Sort
View
LOBJET
2008
104views more  LOBJET 2008»
14 years 10 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
JOT
2006
75views more  JOT 2006»
14 years 10 months ago
Natures and Perspectives
"Nature" and "Perspective" have similar meaning for Eclipse developers and for personnel in a software product line organization. The nature of product line wo...
John D. McGregor
KES
2006
Springer
14 years 10 months ago
Developing a Decision Support System for a Dove's Voice Competition
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
Chotirat Ann Ratanamahatana
NETWORK
2006
96views more  NETWORK 2006»
14 years 10 months ago
Optimizing TCP and RLC interaction in the UMTS radio access network
TCP, the dominant transport protocol for Internet applications, suffers severe performance degradation due to packet losses when a wireless link is present in the endto-end path. ...
Juan J. Alcaraz, Fernando Cerdán, Joan Garc...
SYNTHESE
2008
114views more  SYNTHESE 2008»
14 years 10 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...