4099 search results - page 216 / 820 » A Framework for Interactive Proof |
186
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
144
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
184
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...
165
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Normative environments are used to regulate multiagent interactions. In business encounters, agents representing business entities make contracts including norms that prescribe wh...
146
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Context-aware computing enables the users to seamlessly manipulate information through the relevant contexts, however, it is problematic for application developers to search for th...