Sciweavers

2875 search results - page 236 / 575
» Model checking agentspeak
Sort
View
IS
2010
15 years 2 months ago
Content value chains modelling using a copyright ontology
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
Roberto García, Rosa Gil
IVA
2010
Springer
15 years 2 months ago
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...
ISOLA
2010
Springer
15 years 1 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
VTC
2007
IEEE
129views Communications» more  VTC 2007»
15 years 10 months ago
Cooperative Transmission: A Reality Check Using Experimental Data
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
Persefoni Kyritsi, Petar Popovski, Patrick C. F. E...