1912 search results - page 235 / 383 » On the evaluation of argumentation formalisms |
142
click to vote
SACMAT
2006
ACM
16 years 11 days ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
156
click to vote
ASYNC
2005
IEEE
16 years 2 days ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
140
click to vote
ISCAS
2005
IEEE
16 years 20 hour ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
182
click to vote
LCN
2005
IEEE
16 years 14 hour ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
159
click to vote
WOSP
2005
ACM
15 years 12 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...