Sciweavers

2736 search results - page 153 / 548
» Understanding programmer language
Sort
View
121
Voted
SIGSOFT
2008
ACM
16 years 5 months ago
Specification of an exception handling system for a replicated agent environment
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
Christophe Dony, Chouki Tibermacine, Christelle Ur...
132
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 11 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
131
Voted
ERCIMDL
2007
Springer
121views Education» more  ERCIMDL 2007»
15 years 10 months ago
MultiMatch - Multilingual/Multimedia Access to Cultural Heritage
Cultural heritage content is everywhere on the web, in traditional environments such as libraries, museums, galleries and audiovisual archives, but also in popular magazines and n...
Giuseppe Amato, Juan M. Cigarrán, Julio Gon...
OOPSLA
2007
Springer
15 years 10 months ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer
COSPS
2001
Springer
15 years 9 months ago
The Sisal Project: Real World Functional Programming
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. W...