431 search results - page 15 / 87 » Failure or Success |
130
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
A complex Enterprise Relationship Planning (ERP) data migration was in trouble: low quality, poor performance, instability, and an overworked team threatened project success. Faci...
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
108
Voted
FOIS
2010
15 years 5 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
145
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
124
click to vote
ATS
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...