Sciweavers

1438 search results - page 58 / 288
» Relational aspects as tracematches
Sort
View
LICS
2012
IEEE
13 years 8 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
IPPS
2006
IEEE
16 years 6 days ago
An automated development framework for a RISC processor with reconfigurable instruction set extensions
By coupling a reconfigurable hardware to a standard processor, high levels of flexibility and adaptability are achieved. However, this approach requires modifications to the compi...
Nikolaos Vassiliadis, George Theodoridis, Spiridon...
TARK
2005
Springer
15 years 11 months ago
Decisions under subjective information
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
Jack Stecher
ER
2004
Springer
79views Database» more  ER 2004»
15 years 11 months ago
Towards the Managment of Time in Data-Intensive Web Sites
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
Paolo Atzeni, Pierluigi Del Nostro
TAL
2004
Springer
15 years 11 months ago
Suffixal and Prefixal Morpholexical Relationships of the Spanish
This work is about derivational suffixes, endings and prefixes of the Spanish language, which are useful for the establishment of about 70000 suffixal and 11000 prefixal extended m...
Octavio Santana Suárez, José N. P&ea...