5439 search results - page 350 / 1088 » Patterns: from system design to software testing |
322
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
221
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
175
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...
187
click to vote
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
— Replication is a technique widely used for large networked software systems to provide qualities such as reliability, availability, performance and scalability to their clients...
296
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...