1626 search results - page 274 / 326 » Subtyping with Power Types |
161
click to vote
PPDP
2009
Springer
16 years 19 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
167
click to vote
SECURWARE
2008
IEEE
16 years 14 days ago
2008
IEEE
A new emerging paradigm of Uncertain Risk of Suspicion, Threat and Danger, observed across the field of information security, is described. Based on this paradigm a novel approac...
155
click to vote
ECSQARU
2007
Springer
16 years 7 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
162
click to vote
ICPP
2006
IEEE
16 years 3 days ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
147
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...