11484 search results - page 2181 / 2297 » Modeling in the Large and Modeling in the Small |
281
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
256
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
169
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
173
click to vote
PKC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Traitor tracing schemes are cryptographically secure broadcast methods that allow identification of conspirators: if a pirate key is generated by k traitors out of a stat...
167
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Labeling text data is quite time-consuming but essential for automatic text classification. Especially, manually creating multiple labels for each document may become impractical ...