9626 search results - page 1366 / 1926 » Invariant Based Programming |
198
click to vote
WMTE
2006
IEEE
16 years 1 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
152
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
170
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
170
Voted
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
204
click to vote
AICT
2005
IEEE
16 years 22 days ago
2005
IEEE
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...