626 search results - page 88 / 126 » Towards a Unified Programming Language |
IFIP
2010
Springer
13 years 8 months ago
2010
Springer
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
LADS
2009
Springer
14 years 2 months ago
2009
Springer
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...