12023 search results - page 2404 / 2405 » The K-Rep System Architecture |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
SE
2007
14 years 10 months ago
2007
: Einige der g¨angigen Auffassungen zu ” Was ist Software-Architektur?“ stimmen nicht ¨uberein mit Beobachtungen aus der industriellen Praxis der Software-Entwicklung – so ...
103
click to vote
INTEGRATION
2008
14 years 9 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
In this work, we investigate the use of directional antennas and beam steering techniques to improve performance of 802.11 links in the context of communication between a moving v...
103
click to vote
MOBIHOC
2007
ACM
15 years 9 months ago
2007
ACM
A prerequisite for secure communications between two sensor nodes is that these nodes exclusively share a pairwise key. Although numerous pairwise key establishment (PKE) schemes ...