3552 search results - page 533 / 711 » Proof theory in the abstract |
196
click to vote
HICSS
2006
IEEE
16 years 1 months 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...
216
click to vote
ICRA
2006
IEEE
16 years 1 months 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...
187
click to vote
ACMDIS
2006
ACM
16 years 1 months 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...
186
click to vote
QEST
2005
IEEE
16 years 23 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...
191
click to vote
ATAL
2005
Springer
16 years 22 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...