Sciweavers

4454 search results - page 546 / 891
» Designing components for e-services
Sort
View
ICTAI
2000
IEEE
15 years 11 months ago
Debugging knowledge-based applications with a generic toolkit
Knowledge refinement tools assist in the debugging and maintenance of knowledge based systems (KBSs) by attempting to identify and correct faults in the knowledge that account fo...
Susan Craw, Robin Boswell
ASPDAC
2000
ACM
108views Hardware» more  ASPDAC 2000»
15 years 11 months ago
System-in-package (SIP): challenges and opportunities
Abstract - In this paper, we propose the concept of System-InPackage (SIP) as a generalization of System-On-Chip (SOC). System-In-Package overcomes formidable integration barriers ...
King L. Tai
IUI
2000
ACM
15 years 11 months ago
Jabberwocky: you don't have to be a rocket scientist to change slides for a hydrogen combustion lecture
In designing Jabberwocky—a speech-based interface to Microsoft PowerPoint—we have tried to go beyond simple commands like “Next slide, please” and make a tool that aids sp...
David Franklin, Shannon Bradshaw, Kristian J. Hamm...
CARDIS
2000
Springer
110views Hardware» more  CARDIS 2000»
15 years 11 months ago
Biometrics, Access Control, Smart Cards: A not so Simple Combination
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...
Gaël Hachez, François Koeune, Jean-Jac...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...