4350 search results - page 236 / 870 » Case studies for contract-based systems |
182
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
192
click to vote
WIOPT
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—In recent years there has been an increasing awareness that the deployment as well as utilization of new information technology may have some negative ecological impact....
167
click to vote
IDC
2009
Springer
16 years 1 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
153
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale ...
175
click to vote
CISS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—The theoretical analysis of randomized compressive operators often relies on the existence of a concentration of measure inequality for the operator of interest. Though ...