1102 search results - page 146 / 221 » Generalizing Updates: From Models to Programs |
105
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
121
Voted
ANCS
2007
ACM
15 years 4 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
108
Voted
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
91
Voted
BMCBI
2008
15 years 21 days ago
2008
Background: Ornithine decarboxylase antizymes are proteins which negatively regulate cellular polyamine levels via their affects on polyamine synthesis and cellular uptake. In vir...
COMPUTER
1999
15 years 8 days ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...