632 search results - page 29 / 127 » Specifying Algorithm Visualizations in Terms of Data Flow |
TSMC
2010
13 years 3 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
IUI
2012
ACM
12 years 4 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Several functional and biomedical imaging techniques rely on determining hemodynamic variables and their changes in large vascular networks. To do so at micro-vascular resolution ...
PERVASIVE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...