6527 search results - page 381 / 1306 » On Typing Information Flow |
284
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
197
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
197
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce an adaptive pacing scheme to overcome the drawbacks of TCP in wireless mesh networks with Internet connectivity. The pacing scheme is implemented at the wireless TCP s...
154
click to vote
IWIA
2005
IEEE
16 years 13 days ago
2005
IEEE
1 Intrusion detection in MANETs is challenging because these networks change their topologies dynamically; lack concentration points where aggregated traffic can be analyzed; utili...
199
click to vote
DSVIS
2003
Springer
16 years 2 days ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...