4360 search results - page 164 / 872 » Socio-technical systems: From design methods to systems engi... |
162
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
190
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
OFDM/OQAM has been considered as an attractive alternative to classic OFDM with cyclic prefix (CP) over doubly dispersive channels. By utilising well designed pulse shapes and remo...
158
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
140
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
160
click to vote
LOCA
2009
Springer
16 years 1 months ago
2009
Springer
With proliferation of ubiquitous computing, digital access is facing an increasing risk since unauthorized client located at any place may intrude a local server. Location Based Ac...