Sciweavers

5506 search results - page 182 / 1102
» Minimal Logic Programs
Sort
View
124
Voted
ICLP
2007
Springer
15 years 9 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
95
Voted
ICLP
2007
Springer
15 years 9 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
OPODIS
2003
15 years 5 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
Alper Sen, Vijay K. Garg
142
Voted
CIS
2008
Springer
15 years 5 months ago
A Near-Optimal Redundancy Allocation Strategy that Minimizes a System's Vulnerability to Hazardous Events and Malicious Attacks
Delivering continuous services in information infrastructures is a major challenge. For system or network administrators, redundancy allocation is one of the best strategies to en...
Frank Yeong-Sung Lin, Po-Hao Tsang, Kun-Dao Jiang
INTERSENSE
2006
ACM
15 years 9 months ago
Programming wireless sensor networks with logical neighborhoods
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
Luca Mottola, Gian Pietro Picco