2763 search results - page 198 / 553 » The Dangerous 'All' in Specifications |
165
click to vote
IJAR
2010
15 years 3 months ago
2010
In the last 10 years, there has been increasing interest in interval valued data in signal processing. According to the conventional view, an interval value supposedly reflects th...
157
click to vote
NAR
2011
14 years 9 months ago
2011
RNA helicases are ubiquitous and essential enzymes that function in nearly all aspects of RNA metabolism. The RNA helicase database (www .rnahelicase.org) integrates the wealth of...
181
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
310
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
132
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Large screen displays require new interaction techniques because of their physical size. Even though there are technologies that tackle the problem of interaction with such device...