Sciweavers

17054 search results - page 253 / 3411
» Logics of Dynamical Systems
Sort
View
IS
2010
15 years 5 months ago
Content value chains modelling using a copyright ontology
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
Roberto García, Rosa Gil
HYBRID
1999
Springer
15 years 11 months ago
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
Pieter J. Mosterman
ENTCS
2011
105views more  ENTCS 2011»
15 years 2 months ago
Bridges from Language to Logic: Concepts, Contexts and Ontologies
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
Valeria de Paiva
BIRTHDAY
2012
Springer
14 years 3 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
FPL
2005
Springer
131views Hardware» more  FPL 2005»
16 years 22 days ago
An Efficient Approach to Hide the Run-Time Reconfiguration from SW Applications
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi