26354 search results - page 54 / 5271 » How we refactor, and how we know it |
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—We study the design of training-based multiple-input multiple-output systems in two block-wise transmission schemes. The conventional transmission scheme has a fixed amount of ...
BIRTHDAY
2012
Springer
12 years 4 months ago
2012
Springer
In this note we describe a cryptographic curiosity: readable messages that carry their own digital signature.
ENTCS
2006
13 years 9 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
NAACL
2007
13 years 10 months ago
2007
We introduce an answer typing strategy specific to quantifiable how questions. Using the web as a data source, we automatically collect answer units appropriate to a given how-q...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...