6527 search results - page 358 / 1306 » On Typing Information Flow |
170
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
− A new type of actuator is presented where Shape Memory Alloy (SMA) wires are embedded within artificial “blood vessels.” Fluid flowing through vessels allows the SMA wires ...
218
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
192
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
170
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Modular model is a particular type of committee machine and is comprised of a set of specialized (local) models each of which is responsible for a particular region of the input s...
181
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...