12774 search results - page 331 / 2555 » A Framework for Proof Systems |
202
click to vote
FLAIRS
2004
15 years 8 months ago
2004
In this paper the distributed Constraint Satisfaction Ant Algorithm (CSAA) framework is presented. It uses an ant-based system for the distributed solving of constraint satisfacti...
274
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Peer-to-peer systems are mainly used for object sharing although they can provide the infrastructure for many other applications. In this paper, we extend the idea of object shari...
167
click to vote
INTERSENSE
2006
ACM
16 years 22 days ago
2006
ACM
— Sensor networks have received wide attention in recent years for their revolutionary impact in numerous fields. To harness their full potential, researchers are beginning to b...
176
click to vote
CAISE
2003
Springer
16 years 7 hour ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
175
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
Conventional content management systems (CMSes) consider user management, specifically authorization to modify content objects to be orthogonal to any evolution of content within ...