1236 search results - page 225 / 248 » From Conceptual Modeling to Requirements Engineering |
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
110
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
106
click to vote
CCECE
2009
IEEE
15 years 6 months ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
SCAM
2003
IEEE
15 years 4 months ago
2003
IEEE
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...