3435 search results - page 364 / 687 » Aspect Model Unweaving |
166
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
166
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The paper is concerned with the problem of question recommendation. Specifically, given a question as query, we are to retrieve and rank other questions according to their likelih...
188
click to vote
IWPSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
145
click to vote
ICFEM
2007
Springer
16 years 26 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
183
click to vote
IRI
2005
IEEE
16 years 8 days ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...