14244 search results - page 2733 / 2849 » Modeling Program Predictability |
AUTOMATICA
2005
14 years 9 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
TCS
2008
14 years 9 months ago
2008
Multicast and broadcast are efficient ways to deliver messages to a group of recipients in a network. Due to the growing security concerns in various applications, messages are oft...
109
click to vote
TDSC
2008
14 years 9 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
14 years 9 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
TMC
2008
14 years 9 months ago
2008
In this paper, we propose a bandwidth-efficient multicast mechanism for heterogeneous wireless networks. We reduce the bandwidth cost of an Internet Protocol (IP) multicast tree by...