2067 search results - page 360 / 414 » Logics of propositional control |
148
click to vote
FCCM
2007
IEEE
16 years 19 days ago
2007
IEEE
FPGA-based computing engines have become a promising option for the implementation of computationally intensive applications due to high flexibility and parallelism. However, one...
162
click to vote
INFOCOM
2007
IEEE
16 years 18 days ago
2007
IEEE
— In a wireless mesh network (WMN) with a number of stationary wireless routers, the aggregate capacity can be increased when each router is equipped with multiple network interf...
171
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— Wireless ad hoc networks provide a useful communications infrastructure for the mobile battlefield. In this paper we apply and develop passive radio frequency signal s...
165
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
203
click to vote
ECOWS
2007
Springer
16 years 14 days ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...