Sciweavers

523 search results - page 100 / 105
» Embedded Software Development with Projectional Language Wor...
Sort
View
FCCM
2000
IEEE
122views VLSI» more  FCCM 2000»
15 years 4 months ago
Evaluating Hardware Compilation Techniques
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
Markus Weinhardt, Wayne Luk
GFKL
2005
Springer
117views Data Mining» more  GFKL 2005»
15 years 5 months ago
A Cross-cultural Evaluation Framework for Behavioral Biometric User Authentication
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
Franziska Wolf, T. K. Basu, Pranab K. Dutta, Claus...
DSRT
2005
IEEE
15 years 5 months ago
Using Web Services and Data Mediation/Storage Services to Enable Command and Control to Simulation Interoperability
The Extensible Battle Management Language project has implemented XML based data mediation services to translate from legacy XML schemas into XML schemas, based on a common tag se...
Andreas Tolk, J. Mark Pullen
ICFEM
2004
Springer
15 years 5 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ICRA
2002
IEEE
188views Robotics» more  ICRA 2002»
15 years 4 months ago
Control Architecture and Experiment of a Situated Robot System for Interactive Assembly
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
Jianwei Zhang, Alois Knoll