5863 search results - page 1000 / 1173 » On Model-Checking of P Systems |
154
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Service Level Agreements (SLA) are commonly used to define terms and conditions of service provisioning. WS-Agreement1 is an SLA specification that addresses the need of both ...
122
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We explore the ways in which interfaces can be designed to deceive users so as to create the illusion of magic. We present a study of an experimental performance in which a magici...
160
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Developers spend significant time reading and navigating code fragments spread across multiple locations. The filebased nature of contemporary IDEs makes it prohibitively difficul...
155
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...
144
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We analyze the strategic interactions among endusers and between end-users and attackers in mass and targeted attacks. In mass attacks, precautions by endusers are strategic subst...