5356 search results - page 740 / 1072 » Adventures in time and space |
198
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
209
click to vote
DAWAK
2007
Springer
16 years 27 days ago
2007
Springer
Several business applications such as marketing basket analysis, clickstream analysis, fraud detection and churning migration analysis demand gradient data analysis. By employing g...
215
click to vote
EUROSSC
2007
Springer
16 years 27 days ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
159
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
163
Voted
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...