2602 search results - page 253 / 521 » Semantic Analysis of 'to' |
170
click to vote
SAFECOMP
2007
Springer
16 years 24 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
172
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
168
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
234
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
The development of mid-level concepts helps to bridge the gap between low-level feature and high-level semantics in video analysis. Most existing work combines the customized mid-...
182
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...