2603 search results - page 152 / 521 » Design, use and experience of e-learning systems |
173
click to vote
IVS
2006
15 years 6 months ago
2006
Very early in the object recognition process the human visual system extracts shading information. While shading can enhance the visibility of structures, it can have a negative i...
156
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
179
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
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...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
138
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...