Sciweavers

701 search results - page 85 / 141
» A Description Language for Design Process Management
Sort
View
ERCIMDL
2009
Springer
177views Education» more  ERCIMDL 2009»
15 years 8 months ago
Curated Databases
Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
Peter Buneman
DAC
2003
ACM
15 years 9 months ago
Advanced techniques for RTL debugging
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Sh...
SIGMOD
2007
ACM
156views Database» more  SIGMOD 2007»
16 years 4 months ago
Mashup Feeds: : continuous queries over web services
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
Arsany Sawires, Divyakant Agrawal, Jun'ichi Tatemu...
121
Voted
ICFP
2005
ACM
16 years 4 months ago
A principled approach to operating system construction in Haskell
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...
MTSR
2007
Springer
15 years 10 months ago
Metadata for describing learning scenarios under the European Higher Education Area paradigm
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
Ana-Elena Guerrero, Julià Minguillón...