8706 search results - page 1150 / 1742 » Learning Subjective Language |
163
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
193
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
176
click to vote
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 ...
212
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
223
click to vote
SCESM
2006
ACM
16 years 1 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...