Sciweavers

5075 search results - page 439 / 1015
» Model-based interface development
Sort
View
MKM
2007
Springer
16 years 16 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
WISTP
2007
Springer
16 years 15 days ago
An Embedded System for Practical Security Analysis of Contactless Smartcards
ISO 14443 compliant smartcards are widely-used in privacy and security sensitive applications. Due to the contactless interface, they can be activated and read out from a distance....
Timo Kasper, Dario Carluccio, Christof Paar
AUIC
2006
IEEE
16 years 14 days ago
Moving animation script creation from textual to visual representation
Animation scripts are an integral part of developing computer games: they describe which character animations to play and when to switch between animations. These scripts are ofte...
Erik Haugvaldstad, Tim Wright
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
16 years 13 days ago
Application of Set Membership Identification for Fault Detection of MEMS
- In this article, a set membership (SM) identification technique is tailored to detect faults in microelectromechanical systems. The SM-identifier estimates an orthotope which con...
Vasso Reppa, Anthony Tzes
IPPS
2006
IEEE
16 years 12 days ago
Exploiting dynamic proxies in middleware for distributed, parallel, and mobile Java applications
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
Willem van Heiningen, Tim Brecht, Steve MacDonald