Sciweavers

2131 search results - page 194 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
ACMDIS
2008
ACM
15 years 7 months ago
Cognitive partnerships on the bench top: designing to support scientific researchers
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
Ellie Harmon, Nancy J. Nersessian
151
Voted
CASCON
1996
126views Education» more  CASCON 1996»
15 years 6 months ago
A survey of testing techniques for object-oriented systems
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
Morris S. Johnson Jr.
DAC
2004
ACM
16 years 6 months ago
Statistical optimization of leakage power considering process variations using dual-Vth and sizing
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
Ashish Srivastava, Dennis Sylvester, David Blaauw
TASE
2007
IEEE
15 years 12 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
HCI
2011
14 years 9 months ago
VizKid: A Behavior Capture and Visualization System of Adult-Child Interaction
We present VizKid, a capture and visualization system for supporting the analysis of social interactions between two individuals. The development of this system is motivated by the...
Grace Shin, Taeil Choi, Agata Rozga, Mario Romero