Sciweavers

4074 search results - page 213 / 815
» Defining Computational Aesthetics
Sort
View
131
Voted
CSCW
1994
ACM
15 years 4 months ago
A Flexible Object Merging Framework
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
Jonathan P. Munson, Prasun Dewan
92
Voted
VLDB
1989
ACM
87views Database» more  VLDB 1989»
15 years 4 months ago
Situation Monitoring for Active Databases
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
Arnon Rosenthal, Sharma Chakravarthy, Barbara T. B...
CONCUR
2006
Springer
15 years 4 months ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
129
Voted
DSOM
2006
Springer
15 years 4 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
93
Voted
DSOM
2006
Springer
15 years 4 months ago
Efficient Information Retrieval in Network Management Using Web Services
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
Aimilios Chourmouziadis, George Pavlou