1036 search results - page 197 / 208 » Incompleteness of Behavioral Logics |
125
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—A H-WRR (Hierarchical Weighted Round-Robin) EPON (Ethernet Passive Optical Network) DBA (Dynamic Bandwidth Allocation) algorithm is devised and investigated. WRR table entries h...
131
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ...
138
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
162
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
154
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...