6527 search results - page 978 / 1306 » On Typing Information Flow |
220
click to vote
MSWIM
2005
ACM
16 years 1 months ago
2005
ACM
Wireless sensor networks (WSNs) have many potential applications. Furthermore, in many scenarios WSNs are of interest to adversaries and they become susceptible to some types of a...
188
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
245
click to vote
LOPSTR
2005
Springer
16 years 1 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
231
click to vote
MUM
2004
ACM
16 years 1 months ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
202
click to vote
ASM
2004
ASM
16 years 29 days ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...