2757 search results - page 90 / 552 » On separating systems |
123
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
156
Voted
JECR
2000
15 years 3 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
129
Voted
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
119
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
- Usually, packets involved in a collision are lost, requiring their retransmission. However, the signal associated to collisions has important information concerning the packets i...
134
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In cognitive radio systems, secondary users can be coordinated to perform cooperative spectrum sensing so as to detect the primary user more accurately. However, when the sensi...