18898 search results - page 3441 / 3780 » The Making of a Software Engineer |
188
Voted
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
204
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
203
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
185
Voted
WWW
2008
ACM
16 years 7 months ago
2008
ACM
With the emergence of Yahoo Pipes and several similar services, data mashup tools have started to gain interest of business users. Making these tools simple and accessible to user...
164
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...