1580 search results - page 105 / 316 » CoTeSys - Cognition for Technical Systems |
158
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
175
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Spectrum-overlay scenarios for wideband multicarrier (MC) systems bring new technical challenges that must be considered during the system design. In such a scenario, t...
163
click to vote
DSOM
2007
Springer
16 years 18 days ago
2007
Springer
With an increasing number of devices that must be managed, the scalability of network and service management is a real challenge. A similar challenge seems to be solved by botnets ...
182
click to vote
GLOBECOM
2006
IEEE
16 years 15 days ago
2006
IEEE
- In recent years, many quantum cryptographic schemes have been proposed. However, it seems that there are many technical difficulties to realize them (except Quantum Key Distribut...
163
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
Citizens and enterprises in the European Union benefit from a common internal market and other freedoms. The resulting and growing mobility and cross-border collaboration necessit...