1995 search results - page 251 / 399 » Belief in Information Flow |
190
Voted
ICDT
2009
ACM
16 years 1 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...
204
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
122
click to vote
MOBIHOC
2006
ACM
16 years 11 days 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...
97
Voted
KIVS
2009
Springer
15 years 7 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...
IWIA
2005
IEEE
15 years 6 months 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...