12981 search results - page 2421 / 2597 » Model Checking (Abstract) |
160
Voted
SOCINFO
2010
15 years 2 months ago
2010
Abstract. Online tools for collaboration and social platforms have become omnipresent in Web-based environments. Interests and skills of people evolve over time depending in perfor...
134
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
144
click to vote
SUTC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—As the number of wireless sensor network applications continues to grow, the need for specialized task scheduling mechanisms, aware of the sensor devices’ capabilities...
160
Voted
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
131
Voted
TCOM
2010
15 years 2 months ago
2010
Abstract—This paper considers an uplink time division multiple access (TDMA) cognitive radio network where multiple cognitive radios (secondary users) attempt to access a spect...