Sciweavers

2152 search results - page 206 / 431
» On Automating the Calculus of Relations
Sort
View
PAAMS
2010
Springer
15 years 11 months ago
Advantages of MAS for the Resolution of a Power Management Problem in Smart Homes
Abstract This paper contributes to the design of intelligent buildings. A MultiAgents Home Automation System (MAHAS) is proposed which controls appliances and energy sources in bui...
Shadi Abras, Sylvie Pesty, Stéphane Ploix, ...
PODS
2001
ACM
167views Database» more  PODS 2001»
16 years 6 months ago
Querying Websites Using Compact Skeletons
Several commercial applications, such as online comparison shopping and process automation, require integrating information that is scattered across multiple websites or XML docum...
Anand Rajaraman, Jeffrey D. Ullman
GIS
1995
ACM
15 years 10 months ago
Collaborative Spatial Decision Making with Qualitative Constraints
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
Nikos I. Karacapilidis, Dimitris Papadias, Max J. ...
ICFP
2008
ACM
16 years 6 months ago
AURA: a programming language for authorization and audit
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianz...
CEC
2009
IEEE
16 years 1 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch