1536 search results - page 237 / 308 » The Underlying Logic of Hoare Logic |
152
click to vote
ICTAI
2008
IEEE
16 years 18 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
159
click to vote
ICTAI
2008
IEEE
16 years 18 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
161
click to vote
ICYCS
2008
IEEE
16 years 18 days ago
2008
IEEE
A single physical machine provides multiple network monitoring and analysis services (e.g., IDS, QoS) which are installed on the same operating system. Isolation between services ...
153
click to vote
IRI
2008
IEEE
16 years 18 days ago
2008
IEEE
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
190
click to vote
ISQED
2008
IEEE
16 years 17 days ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...