1007 search results - page 133 / 202 » The Complexity of Futile Questioning |
102
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
99
Voted
REFSQ
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
127
click to vote
TPCTC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
101
click to vote
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...
84
Voted
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
Developments in ubiquitous and pervasive computing herald a future in which computation is embedded into our daily lives. Such a vision raises important questions about how people...