13137 search results - page 355 / 2628 » A Science of Software Design |
193
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
179
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
176
click to vote
TREC
2004
15 years 8 months ago
2004
Institute of Software, Chinese Academy of Sciences (ISCAS) participated in TREC-2004, submitting 18 runs. We focus on studying the problem of the combination of the user- and quer...
159
click to vote
DIDACTICA
2000
15 years 6 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
175
click to vote
PDCAT
2007
Springer
16 years 25 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...