5451 search results - page 499 / 1091 » Typed Operational Semantics |
173
click to vote
TCS
2008
15 years 6 months ago
2008
We investigate some differences between the general intramolecular model for gene assembly and its restricted simple model. Although both models satisfactorily sort all current ex...
188
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
161
click to vote
SIGADA
2005
Springer
16 years 9 days ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
173
click to vote
ISSRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
197
Voted
ICDCS
2002
IEEE
2002
IEEE
An Extensible and Scalable Content Adaptation Pipeline Architecture to Support Heterogeneous Clients
15 years 11 months ago
The importance of middleware and content adaptation has previously been demonstrated for pervasive use of Web-based applications. In this paper we propose a modular, extensible, a...