279 search results - page 46 / 56 » Applying Reduction Techniques to Software Functional Require... |
BMCBI
2008
14 years 10 months ago
2008
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...
CHINZ
2005
ACM
14 years 11 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
DLS
2008
14 years 11 months ago
2008
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
STOC
2003
ACM
15 years 10 months ago
2003
ACM
This paper provides the first explicit construction of extractors which are simultaneously optimal up to constant factors in both seed length and output length. More precisely, fo...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...