571 search results - page 42 / 115 » A principled approach to operating system construction in Ha... |
AMDO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Although the template fingerprint collected during the registration phase of personal verification systems can be considered in principle as representative of the subject...
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
A new approach to the separation of multiple stacked cards is presented. Separation of multiple stacked cards is a key operation in many mechatronic devices such as copy machines ...
102
click to vote
AAMAS
2007
Springer
15 years 1 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
122
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
101
click to vote
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...