5252 search results - page 624 / 1051 » Logic in Access Control |
186
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
175
click to vote
JFLP
2002
15 years 6 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
170
click to vote
TCAD
1998
15 years 6 months ago
1998
Conventional scan design imposes considerable area and delay overhead by using larger scan
ip-
ops and additional scan wires without utilizing the functionality of the combinatio...
189
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
195
click to vote
EUSFLAT
2009
2009
Ant Colony Optimization for Distributed Routing Path Optimization in Optical Burst-Switched Networks
15 years 4 months ago
This work describes a distributed framework for routing path optimization in Optical Burst-Switched (OBS) networks that loosely mimics the foraging behaviour of ants observed in na...