5863 search results - page 1151 / 1173 » On Model-Checking of P Systems |
ASPDAC
2008
ACM
14 years 29 days ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
ASSETS
2008
ACM
14 years 29 days ago
2008
ACM
Web applications facilitated by technologies such as JavaScript, DHTML, AJAX, and Flash use a considerable amount of dynamic web content that is either inaccessible or unusable by...
ATAL
2008
Springer
14 years 29 days ago
2008
Springer
We develop a novel mechanism for coordinated, distributed multiagent planning. We consider problems stated as a collection of single-agent planning problems coupled by common soft...
ATAL
2008
Springer
14 years 29 days ago
2008
Springer
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
CCS
2008
ACM
14 years 28 days ago
2008
ACM
A well-known concern in the setting of identity based encryption is that the PKG is all powerful and has to be completely trusted. To mitigate this problem, the notion of Accounta...