3552 search results - page 533 / 711 » Proof theory in the abstract |
169
click to vote
HICSS
2006
IEEE
16 years 18 days ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
190
click to vote
ICRA
2006
IEEE
16 years 17 days ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
172
click to vote
ACMDIS
2006
ACM
16 years 15 days ago
2006
ACM
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
172
click to vote
QEST
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
171
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...