2638 search results - page 434 / 528 » Frameworks for Reasoning about Agent Based Systems |
137
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
: Despite some deficiencies, the Internet management framework is widely deployed and thousands of Management Information Base (MIB) modules have been defined thus far. These modul...
191
click to vote
PLDI
2006
ACM
16 years 9 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
206
click to vote
TCAD
2010
15 years 1 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
166
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
166
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
This paper is based on the observation that the nearest neighbour in a case-based prediction system may not be the best case to explain a prediction. This observation is based on t...