5326 search results - page 135 / 1066 » On what we can ensure |
176
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
171
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In...
144
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
We can use Business Process Modeling (BPM) tools for modeling the organizational structure, however, there are many imperfections in the existing BPM tools that hinder the process ...
150
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
We discuss the implications of the use of current multimedia collections and posit that it is possible to build what we term fourth-phase digital libraries (4PDLs). In 4PDLs users...
180
click to vote
DAM
2010
15 years 5 months ago
2010
We consider the problem of sorting a permutation using a network of data structures as introduced by Knuth and Tarjan. In general the model as considered previously was restricted...