8337 search results - page 428 / 1668 » Reasoning With Characteristic Models |
155
click to vote
ASIACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
209
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
167
click to vote
BPM
2004
Springer
16 years 9 days ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
166
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
186
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...