Sciweavers

117 search results - page 19 / 24
» Recombinable Game Mechanics for Automated Design Support
Sort
View
IROS
2006
IEEE
93views Robotics» more  IROS 2006»
15 years 3 months ago
General Kinematic Synthesis Method for a Discretely Actuated Robotic Manipulator (D-ARM)
— A “Discretely Actuated Robotic Manipulator”, or “D-ARM”, is any member of a class of robotic manipulators powered by actuators that have only discrete positional stable...
Keizo Miyahara, Gregory S. Chirikjian
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
15 years 3 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
58
Voted
FC
2004
Springer
89views Cryptology» more  FC 2004»
15 years 2 months ago
Electronic National Lotteries
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost e...
Elisavet Konstantinou, Vasiliki Liagkou, Paul G. S...
ICDCSW
2005
IEEE
15 years 3 months ago
Forensix: A Robust, High-Performance Reconstruction System
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
Ashvin Goel, Wu-chang Feng, David Maier, Wu-chi Fe...
SAC
2009
ACM
15 years 2 months ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...