4158 search results - page 590 / 832 » A Framework for Web Science |
164
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
163
Voted
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
167
click to vote
ECRTS
2007
IEEE
16 years 18 days ago
2007
IEEE
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...
167
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
195
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Social decision support systems are able to aggregate the local perspectives of a diverse group of individuals into a global social decision. This paper presents a mult...