2607 search results - page 452 / 522 » Complete Functional Synthesis |
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
MSWIM
2009
ACM
14 years 4 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
VEE
2009
ACM
14 years 4 months ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...