2662 search results - page 241 / 533 » Tools Demonstrations |
176
click to vote
FMSD
2008
15 years 6 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
124
click to vote
DM
2006
15 years 6 months ago
2006
Within a large family of crossover designs this paper characterizes the mathematical structures of A-optimal and A-efficient crossover designs for the purpose of statistical compa...
142
Voted
IJAOSE
2008
15 years 6 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
156
click to vote
ESWA
2006
15 years 6 months ago
2006
Multidimensional scaling (MDS) is a statistical tool for constructing a low-dimension configuration to represent the relationships among objects. In order to extend the convention...
173
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...