3358 search results - page 364 / 672 » Parametric Aspects: A Proposal |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose to demonstrate LiquidXML, a platform for managing large corpora of XML documents in large-scale P2P networks. All LiquidXML peers may publish XML documents to be shared...
168
click to vote
ADT
2006
15 years 6 months ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
200
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
198
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...