2362 search results - page 437 / 473 » Programming in Standard ML |
138
click to vote
ICS
2010
Tsinghua U.
16 years 20 days ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
144
click to vote
EUROSYS
2007
ACM
16 years 11 days ago
2007
ACM
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...
113
Voted
ICCD
2006
IEEE
16 years 6 days ago
2006
IEEE
— New back-end design for manufacturability rules have brought guarantee rules for interconnect matching. These rules indicate a certain capacitance matching guarantee given spac...
133
click to vote
IUI
2009
ACM
16 years 5 days ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...
129
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Traditionally web applications have required an internet connection in order to work with data. Browsers have lacked any mechanisms to allow web applications to operate offline wi...