5550 search results - page 745 / 1110 » Different Approaches to Proof Systems |
199
click to vote
ATAL
2003
Springer
16 years 25 days ago
2003
Springer
Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character....
192
click to vote
CIA
2003
Springer
16 years 25 days ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
222
click to vote
ESTIMEDIA
2003
Springer
16 years 25 days ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
223
click to vote
COOPIS
2002
IEEE
16 years 17 days ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...
201
click to vote
HICSS
2002
IEEE
16 years 17 days ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...