1341 search results - page 163 / 269 » Dynamic Testimonial Logic |
148
click to vote
PRDC
2008
IEEE
16 years 24 days ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...
148
click to vote
CALCO
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
163
click to vote
FCT
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
170
click to vote
WWW
2006
ACM
16 years 11 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
172
click to vote
IEEEPACT
2005
IEEE
16 years 6 hour ago
2005
IEEE
This paper presents a novel compiler directed technique to reduce the register pressure and power of the register file by releasing registers early. The compiler identifies regi...