5550 search results - page 745 / 1110 » Different Approaches to Proof Systems |
184
click to vote
ATAL
2003
Springer
16 years 7 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....
181
click to vote
CIA
2003
Springer
16 years 7 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...
206
click to vote
ESTIMEDIA
2003
Springer
16 years 7 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...
205
click to vote
COOPIS
2002
IEEE
15 years 12 months 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...
184
click to vote
HICSS
2002
IEEE
15 years 12 months 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...