4612 search results - page 219 / 923 » More Communications |
150
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
169
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Users using the same video streaming service within a wireless network share the same limited backbone bandwidth to the Internet. These users are motivated to collaborate with eac...
190
click to vote
TIME
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
150
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Online group work has been identified as an important issue in Web-based education for a long time. With the prevalence of instant messaging in adolescents, more and more students...
178
click to vote
VL
2008
IEEE
16 years 26 days ago
2008
IEEE
Designers are skilled at sketching and prototyping the look of interfaces, but to explore various behaviors (what the interface does in response to input) typically requires progr...