Sciweavers

2159 search results - page 113 / 432
» C-K design theory for information systems research
Sort
View
PODC
2012
ACM
13 years 8 months ago
Byzantine broadcast in point-to-point networks using local linear coding
The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faul...
Guanfeng Liang, Nitin H. Vaidya
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 14 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
ICSE
2008
IEEE-ACM
16 years 7 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
MM
2005
ACM
101views Multimedia» more  MM 2005»
15 years 12 months ago
SmallConnection: designing of tangible communication media over networks
The concept of “SmallConnection (abbr. SC)” is creating easy to operate tangible media for communication over networks. Focusing on the scenario where two intimate people live...
Hideaki Ogawa, Noriaki Ando, Satoshi Onodera
ECIR
2009
Springer
16 years 3 months ago
Design and Evaluation of a University-Wide Expert Search Engine
We present an account of designing and evaluating a university-wide expert search engine. We performed system-based evaluation to determine the optimal retrieval settings and an ex...
Ruud Liebregts, Toine Bogers