280 search results - page 19 / 56 » Argumentation in Multi-Agent Systems: Context and Recent Dev... |
139
click to vote
DEDS
2008
15 years 6 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
154
click to vote
USENIX
2008
15 years 8 months ago
2008
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
143
click to vote
EWSA
2004
Springer
15 years 11 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...
197
click to vote
WSTFEUS
2003
IEEE
15 years 11 months ago
2003
IEEE
Determining physical location of indoor objects is one of the key issues in development of context-aware applications in ubiquitous computing environment. This is mainly because c...