10458 search results - page 281 / 2092 » Modeling Features at Runtime |
168
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
181
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
195
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
190
click to vote
GFKL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
181
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...