Sciweavers

11345 search results - page 113 / 2269
» Foundations of Computer Science
Sort
View
CONCUR
2005
Springer
15 years 4 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...
ERCIMDL
2006
Springer
129views Education» more  ERCIMDL 2006»
15 years 3 months ago
Representing Contextualized Information in the NSDL
Abstract. The NSDL (National Science Digital Library) is funded by the National Science Foundation to advance science and math education. The initial product was a metadata-based d...
Carl Lagoze, Dean B. Krafft, Tim Cornwell, Dean Ec...
ACII
2007
Springer
15 years 3 months ago
Towards Affective-Psychophysiological Foundations for Music Production
Abstract. This paper describes affective and psychophysiological foundations used to help to control affective content in music production. Our work includes the proposal of a know...
António Pedro Oliveira, Amílcar Card...
LCN
1999
IEEE
15 years 3 months ago
An Architecture for Managing QoS-Enabled VPNs over the Internet
This paper describes an architecture for the management of QoS-enabled virtual private networks (VPNs) over the Internet. The architecture focuses on two important issues of VPNs:...
Manuel Günter, Torsten Braun, Ibrahim Khalil
NDJFL
2000
74views more  NDJFL 2000»
14 years 11 months ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May