889 search results - page 21 / 178 » General Conclusions |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents research on the use of household lists. Drawing on an ethnographic study of mothers’ work, it focuses on the centrality of paper lists in home- and child-car...
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
The European call option prices have well-known formulae in the Cox-RossRubinstein model [2], depending on the volatility of the underlying asset. Nevertheless it is hard to give ...
SSDBM
2002
IEEE
15 years 4 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...