Sciweavers

4615 search results - page 322 / 923
» Complex networks as control paradigm for complex systems
Sort
View
CASES
2006
ACM
16 years 20 days ago
Extensible control architectures
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
Greg Hoover, Forrest Brewer, Timothy Sherwood
ENTCS
2008
113views more  ENTCS 2008»
15 years 6 months ago
Automatic Verification of Combined Specifications: An Overview
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
Ernst-Rüdiger Olderog
CF
2004
ACM
15 years 10 months ago
An architecture to support cooperating mobile embedded systems
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
Edgar Nett, Stefan Schemmer
GLOBECOM
2007
IEEE
16 years 1 months ago
A Novel OFDMA Ranging Method Exploiting Multiuser Diversity
This paper addresses initial ranging (uplink synchronization and power control) for TDD OFDMA systems. Exploiting the channel knowledge from the downlink channel together with ini...
Jianqiang Zeng, Hlaing Minn
COMPSEC
2010
93views more  COMPSEC 2010»
15 years 6 months ago
Roving bugnet: Distributed surveillance threat and mitigation
Abstract Advanced mobile devices such as laptops and smartphones make convenient hiding places for surveillance spyware. They commonly have a microphone and camera built-in, are in...
Ryan Farley, Xinyuan Wang