1398 search results - page 156 / 280 » Ensuring Properties of Interaction Systems |
189
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
175
click to vote
AICCSA
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
182
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— We study the problem of pricing uplink power in wide-band cognitive radio networks under the objective of revenue maximization for the service provider and while ensuring incen...
152
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
149
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...