4350 search results - page 693 / 870 » Case studies for contract-based systems |
135
click to vote
DIAGRAMS
2010
Springer
15 years 5 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
109
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...
118
click to vote
FSKD
2008
Springer
15 years 5 months ago
2008
Springer
The demand for outsourcing in the information systems (IS) field has become a part of basic corporate strategy and has experienced a considerable growth in recent years. The proce...
129
Voted
ASSETS
2010
ACM
15 years 4 months ago
2010
ACM
After a stroke or brain injury, it may be more difficult to understand language and communicate with others. Speechlanguage therapy may help an individual regain language and cope...
114
click to vote
ACS
2007
15 years 4 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...