Sciweavers

3206 search results - page 287 / 642
» How minds can be computational systems
Sort
View
CLIMA
2007
15 years 8 months ago
Formal Modelling of Emotions in BDI Agents
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
David Pereira, Eugénio C. Oliveira, Nelma M...
SPLC
2008
15 years 8 months ago
Calculating and Modeling Common Parts of Software Product Lines
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
CORR
2008
Springer
169views Education» more  CORR 2008»
15 years 6 months ago
Congestion Reduction Using Ad hoc Message Dissemination in Vehicular Networks
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
Thomas D. Hewer, Maziar Nekovee
IWQOS
2011
Springer
14 years 9 months ago
Dexferizer: A service for data transfer optimization
— We present an approach to optimizing the transfer of data objects within a user’s collection of computers and personal devices, subject to a variety of user-defined quality ...
Ercan Ucan, Timothy Roscoe
PERVASIVE
2009
Springer
16 years 1 months ago
PL-Tags: Detecting Batteryless Tags through the Power Lines in a Building
We present a system, called PL-Tags, for detecting the presence of batteryless tags in a building or home through the power lines. The excitation (or interrogation) and detection o...
Shwetak N. Patel, Erich P. Stuntebeck, Thomas Robe...