8437 search results - page 1595 / 1688 » Preferences over Sets |
175
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
174
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
Agent-based approaches to manufacturing scheduling and control have gained increasing attention in recent years. Such approaches are attractive because they o er increased robustn...
192
click to vote
EKAW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
194
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
175
click to vote
ICS
2000
Tsinghua U.
15 years 9 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...