4460 search results - page 514 / 892 » Formal methods for interactive systems |
211
click to vote
WIDM
2005
ACM
16 years 8 days ago
2005
ACM
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
151
Voted
LPNMR
1990
Springer
15 years 10 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
137
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes an audience response process and its supporting systems for use in judged sporting events at the 2004 Athens Olympic Games. It consists of a wireless scoreinp...
157
Voted
CEC
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents two variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling of el...
177
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...