577 search results - page 77 / 116 » The puzzle of language evolution |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
To achieve the goalof realizingobject adaptationto environments, a new role-based model Epsilon and a language EpsilonJ is proposed. In Epsilon, an environment is defined as a fie...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...