173 search results - page 11 / 35 » Reasoning about VHDL using operational and observational sem... |
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
NMR
2004
Springer
14 years 23 days ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
IDT
2008
13 years 7 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
COORDINATION
2004
Springer
14 years 24 days ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
KES
2007
Springer
14 years 1 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...