3522 search results - page 229 / 705 » Modeling and Aspect Weaving |
223
click to vote
SCN
2011
Springer
15 years 28 days 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...
142
click to vote
WWW
2006
ACM
16 years 6 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...
146
click to vote
LPNMR
2009
Springer
16 years 16 days 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. ...
147
click to vote
CONTEXT
2007
Springer
16 years 5 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
140
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Most previous work on the recently developed languagemodeling approach to information retrieval focuses on document-specific characteristics, and therefore does not take into acc...