ANOR
2008
13 years 12 months ago
2008
This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
ALGORITHMICA
2007
13 years 12 months ago
2007
d abstract) Lars Arge1 , Darren Erik Vengroff2 , and Jeffrey Scott Vitter3 1 BRICS† , Department of Computer Science, University of Aarhus, Aarhus, Denmark 2 Department of Comp...
ACTA
2010
13 years 12 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
SIGCSE
2010
ACM
14 years 3 hour ago
2010
ACM
Internationalization of computer science education involves incorporating awareness, knowledge and skills of professional life in a global environment. Through an NSF CPATH grant1...
SIGCSE
2010
ACM
14 years 1 days ago
2010
ACM
Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...
CATA
2010
14 years 1 days ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
SODA
1992
ACM
14 years 1 months ago
1992
ACM
Let P be a property of undirected graphs. We consider the following problem: given a graph G that has property P, nd a minimal spanning subgraph of G with property P. We describe ...
SNPD
2003
14 years 1 months ago
2003
With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
PUK
2003
14 years 1 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
PUK
2003
14 years 1 months ago
2003