2205 search results - page 255 / 441 » Mutation Operators for Specifications |
122
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
199
click to vote
POLICY
2001
Springer
15 years 8 months ago
2001
Springer
The Differentiated Services Architecture defines the mechanisms that are needed to offer multiple classes of services in an IP network. While this model offers significant scaling ...
117
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
153
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
120
Voted
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...