800 search results - page 157 / 160 » Towards a formalization of budgets |
123
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
100
Voted
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...
122
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
113
click to vote
ECIS
2001
15 years 1 months ago
2001
Despite evidence that the majority of knowledge management (KM) initiatives miscarry, there has been a paucity of critical, in-depth research into the causes of failure. In this p...
107
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...