2111 search results - page 74 / 423 » How to Program Pervasive Systems |
109
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
98
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
201
Voted
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...
CONSTRAINTS
2004
15 years 12 days ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...