5128 search results - page 752 / 1026 » When Abstraction Fails |
192
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
195
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
156
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
199
Voted
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—In cognitive mobile multihop relay (CMMR) network, the mobile user as the primary user is allocated with the channel for transmitting data. Relay station as the secondar...
172
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- The complementary characteristics of cellular systems and wireless local area networks (WLANs) make them attractive candidates to jointly offer a seamless wireless solut...