57 search results - page 1 / 12 » Using Controller-Synthesis Techniques to Build Property-Enfo... |
ESOP
2003
Springer
13 years 9 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
TOSEM
2002
13 years 4 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
ICC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— We propose an enhanced physical-layer authentication scheme for multi-carrier wireless systems, where transmission bursts consist of multiple frames. More specifically...
PAMI
2008
13 years 4 months ago
2008
Hierarchical clustering is a stepwise clustering method usually based on proximity measures between objects or sets of objects from a given data set. The most common proximity meas...
IIWAS
2004
13 years 6 months ago
2004
Access to different and remote sources with heterogeneous formats is one of the most important challenges in Enterprise Information Integration. Even though there exists an increa...