1133 search results - page 123 / 227 » Local Logics for Traces |
197
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
183
click to vote
GLOBECOM
2008
IEEE
16 years 25 days ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
150
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
188
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
163
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...