5075 search results - page 439 / 1015 » Model-based interface development |
161
click to vote
MKM
2007
Springer
16 years 16 days ago
2007
Springer
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 ...
141
click to vote
WISTP
2007
Springer
16 years 15 days ago
2007
Springer
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....
221
click to vote
AUIC
2006
IEEE
16 years 14 days ago
2006
IEEE
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...
119
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
- 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...
138
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
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...