16844 search results - page 97 / 3369 » How to Design Programs |
169
click to vote
EMSOFT
2007
Springer
16 years 12 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
182
click to vote
ISPD
2004
ACM
15 years 11 months ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
162
click to vote
UM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Traditional websites have long relied on users revealing their preferences explicitly through direct manipulation interfaces. However recent recommender systems have gone...
192
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
174
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...