2649 search results - page 225 / 530 » Argumentation for Decision Support |
165
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
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...
144
click to vote
XPU
2005
Springer
16 years 2 days ago
2005
Springer
Naked Objects and agile software development have been suggested to complement each other. Very few empirical studies to date exist where a product has been developed using the Nak...
192
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
189
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
155
Voted
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...