237 search results - page 33 / 48 » Just enough tabling |
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Norway has started to implement e-voting (over the Internet, and by using voters' own computers) within the next few years. The vulnerability of voter's computers was ide...
DBSEC
2009
13 years 8 months ago
2009
Existing approaches for protecting sensitive information stored (outsourced) at external "honest-but-curious" servers are typically based on an overlying layer of encrypt...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
IOR
2008
13 years 6 months ago
2008
Abstract Firms compete in supply functions when they offer a schedule of prices and quantities into a market; for example, this occurs in many wholesale electricity markets. We stu...