508 search results - page 61 / 102 » What's the big idea |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
NORDSEC
2009
Springer
14 years 2 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
FOCS
2008
IEEE
14 years 2 months ago
2008
IEEE
What is the least surface area of a shape that tiles Rd under translations by Zd ? Any such shape must have volume 1 and hence surface area at least that of the volume-1 ball, nam...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Organic Computing (OC) and other research initiatives like Autonomic Computing or Proactive Computing have developed the idea of systems that possess life-like properties, that...