12981 search results - page 2136 / 2597 » Model Checking (Abstract) |
195
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— Given a wireless ad hoc network and an endto-end traffic pattern, the power rate function refers to the minimum total power required to support different throughput un...
173
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
202
click to vote
GI
2005
Springer
16 years 10 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
190
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
193
click to vote
MATES
2005
Springer
16 years 9 days ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...