1541 search results - page 240 / 309 » Tools and Techniques for Model Checking Networked Programs |
168
Voted
IHI
2012
13 years 8 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
99
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
139
click to vote
MSWIM
2009
ACM
15 years 7 months ago
2009
ACM
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
108
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...