Sciweavers

636 search results - page 55 / 128
» Understanding knowledge as a commons: From theory to practic...
Sort
View
COMCOM
2010
95views more  COMCOM 2010»
15 years 7 days ago
Trading link utilization for queueing delays: An adaptive approach
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in und...
Rade Stanojevic, Robert Shorten
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
15 years 7 months ago
From Formal Concept Analysis to Contextual Logic
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
Frithjof Dau, Julia Klinger
CHI
2006
ACM
16 years 2 months ago
Dispelling "design" as the black art of CHI
We discuss the legacy and processes of creative design, and differentiate it from the type of user-centered design commonly found in CHI. We provide an example of this process, an...
Tracee Vetting Wolf, Jennifer Ann Rode, Jeremy B. ...
JIIS
2008
104views more  JIIS 2008»
15 years 1 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
ICSE
2008
IEEE-ACM
16 years 2 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...