3357 search results - page 494 / 672 » Controlling Complexity |
128
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
116
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
Through automated negotiation we aim to improve task allocation in a distributed sensor network. In particular, we look at a type of adaptive weather-sensing radar that permits th...
107
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— High power dissipation in packet switches and routers is fast turning into a key problem, owing to increasing line speeds and decreasing chip sizes. To address this issue, we i...