3628 search results - page 709 / 726 » Dynamic Application Structuring on Heterogeneous, Distribute... |
124
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
CEEMAS
2005
Springer
15 years 7 months 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 ...
109
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
In contemporary out-of-order superscalar design, high IPC is mainly achieved by exposing high instruction level parallelism (ILP). Scaling issue window size can certainly provide ...
130
Voted
FM
2006
Springer
15 years 5 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...
127
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: With the completion of the Human Genome Project and recent advancements in mutation detection technologies, the volume of data available on genetic variations has rise...