Sciweavers

280 search results - page 22 / 56
» Argumentation in Multi-Agent Systems: Context and Recent Dev...
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 9 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
SAC
2009
ACM
15 years 10 months ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
HICSS
2007
IEEE
121views Biometrics» more  HICSS 2007»
16 years 10 days ago
Theorizing in Information Systems Research: Some Preliminary Findings
Information systems (IS) research employs a wide range of theory, drawn from numerous disciplines. Over the course of the past three decades, the proliferation of theory has creat...
Brent Furneaux, Michael Wade, Hossam Ali-Hassan
ECOWS
2007
Springer
16 years 5 days ago
Model-Driven Performance Evaluation for Service Engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
Claus Pahl, Marko Boskovic, Wilhelm Hasselbring
FSTTCS
2005
Springer
15 years 11 months ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
Ellie D'Hondt, Prakash Panangaden