3435 search results - page 245 / 687 » Aspect Model Unweaving |
162
click to vote
AIEDU
2004
15 years 6 months ago
2004
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
154
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
235
click to vote
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
153
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
159
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...