Sciweavers

7139 search results - page 897 / 1428
» Language Engineering in Practice
Sort
View
ETS
2002
IEEE
92views Hardware» more  ETS 2002»
15 years 7 months ago
Technological and Pedagogical Convergence between Work-based and Campus-based Learning
There is a strong technological and economic push for higher education providers to adopt online learning strategies. This is driven, in part, by the requirement of industry for l...
David F. Radcliffe
AEI
1998
98views more  AEI 1998»
15 years 6 months ago
Function-directed electrical design analysis
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
Chris J. Price
CN
1998
95views more  CN 1998»
15 years 6 months ago
The Limits of Web Metadata, and Beyond
The World Wide Web currently has a huge amount of data, with practically no classification information, and this makes it extremely difficult to handle effectively. It has been re...
Massimo Marchiori
DSE
1998
80views more  DSE 1998»
15 years 6 months ago
The Voltan application programming environment for fail-silent processes
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
Dave Black, C. Low, Santosh K. Shrivastava
ICFEM
2010
Springer
15 years 5 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...