2409 search results - page 392 / 482 » Logical systems for structured specifications |
215
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
A common criticism of database systems is that they are hard to query for users uncomfortable with a formal query language. To address this problem, form-based interfaces and keyw...
158
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
99
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Developments in e-government are resulting in fundamental reorganizations of the ways in which democratic governments operate as well as in the ways in which citizens relate to th...
135
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
154
click to vote
DIM
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...