770 search results - page 6 / 154 » Abstract Yourself With Modules |
91
Voted
TSP
2008
15 years 2 months ago
2008
Abstract--Due to complexity considerations, pulse-based modulations such as pulse position modulation (PPM) and ON
112
Voted
LICS
1996
IEEE
15 years 7 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)...
121
Voted
BMCBI
2007
15 years 2 months ago
2007
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
141
Voted
ICFP
2007
ACM
16 years 2 months 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...
129
click to vote
ERSHOV
2009
Springer
15 years 9 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...