Sciweavers

1354 search results - page 111 / 271
» Comparing Agent-Oriented Methodologies
Sort
View
ICST
2008
IEEE
14 years 5 months ago
Model-Based Tests for Access Control Policies
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
Alexander Pretschner, Tejeddine Mouelhi, Yves Le T...
ISQED
2008
IEEE
98views Hardware» more  ISQED 2008»
14 years 5 months ago
Design Margin Exploration of Spin-Torque Transfer RAM (SPRAM)
We proposed a combined magnetic and circuit level technique to explore the design methodology of SpinTorque Transfer RAM (SPRAM). A dynamic magnetic model of magnetic tunneling ju...
Yiran Chen, Xiaobin Wang, Hai Li, Harry Liu, Dimit...
AIPR
2007
IEEE
14 years 5 months ago
Using a High-Fidelity Simulation Framework for Performance Singularity
A common way to evaluate the performance of a system is to compare the algorithmic outputs with ground truth to identify divergences in the system’s performance and discover the...
Chris Scrapper, Raj Madhavan, Stephen Balakirsky
ROMAN
2007
IEEE
159views Robotics» more  ROMAN 2007»
14 years 5 months ago
"What Does it Do?": HRI Studies with the General Public
Abstract— This paper introduces a methodology for HumanRobot Interaction (HRI) experiments that involves soliciting the general public for participation. In particular, it review...
Douglas A. Few, Christine M. Roman, David J. Bruem...
ROBOCOMM
2007
IEEE
14 years 5 months ago
Toward multi-level modeling of robotic sensor networks: a case study in acoustic event monitoring
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
Christopher M. Cianci, Thomas Lochmatter, Jim Pugh...