583 search results - page 98 / 117 » Reasoning in Logic about Continuous Systems |
ARTMED
2010
14 years 9 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
140
Voted
GLOBAL
2003
Springer
15 years 2 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
102
click to vote
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
165
Voted
ISSTA
2012
ACM
13 years 2 days ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...