3357 search results - page 494 / 672 » Controlling Complexity |
196
click to vote
CSFW
2007
IEEE
16 years 26 days 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...
158
click to vote
DATE
2007
IEEE
16 years 25 days 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...
166
click to vote
HASE
2007
IEEE
16 years 25 days 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...
154
click to vote
IAT
2007
IEEE
16 years 25 days 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...
160
click to vote
ICC
2007
IEEE
16 years 25 days 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...