2067 search results - page 207 / 414 » Logics of propositional control |
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
172
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
179
click to vote
ISCA
2009
IEEE
16 years 1 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
169
click to vote
EUROGP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
151
click to vote
WLP
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...