4211 search results - page 535 / 843 » A formal approach to MASQ |
161
click to vote
QUATIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
158
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
146
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
151
click to vote
SMI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
187
click to vote
AIED
2007
Springer
16 years 28 days ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...