770 search results - page 6 / 154 » Abstract Yourself With Modules |
TSP
2008
15 years 7 days ago
2008
Abstract--Due to complexity considerations, pulse-based modulations such as pulse position modulation (PPM) and ON
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
BMCBI
2007
15 years 5 days ago
2007
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
118
click to vote
ICFP
2007
ACM
16 years 10 days ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
104
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...