12084 search results - page 221 / 2417 » Effect Systems with Subtyping |
175
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Workflow management systems (WfMS) have become a widely accepted software technology, which enables the effective management, execution, and monitoring of comput
172
click to vote
ECCC
2010
15 years 7 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
194
click to vote
TPDS
2008
15 years 6 months ago
2008
BitTorrent has emerged as a very popular peer-to-peer file sharing system, which uses an embedded set of incentive mechanisms to encourage contribution and prevent free-riding. How...
191
click to vote
CCE
2008
15 years 7 months ago
2008
Administration of certain drugs at a steady rate results in deterioration of drug effect, also known as drug tolerance. Periodic delivery is an attractive option for minimizing to...
229
click to vote
ISSA
2008
15 years 8 months ago
2008
The threats and intrusions in IT systems can basically be compared to human diseases with the difference that the human body has an effective way to deal with them, what still nee...