2171 search results - page 339 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
127
click to vote
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
158
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
110
Voted
CCE
2008
15 years 5 months ago
2008
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
144
Voted
CTW
2006
15 years 5 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
175
click to vote
GRID
2006
Springer
15 years 5 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...