569 search results - page 104 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
121
click to vote
TIT
2010
14 years 6 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...
DAC
2009
ACM
16 years 22 days ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
181
Voted
ICDT
2009
ACM
16 years 13 days ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
WWW
2008
ACM
16 years 12 days ago
2008
ACM
Communities gather Web services that provide a common functionality, acting as an intermediate layer between end users and Web services. On the one hand, they provide a single endp...
170
click to vote
ASPLOS
2009
ACM
16 years 11 days ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...