Sciweavers

4870 search results - page 749 / 974
» Challenges of component-based development
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
FGCS
2007
78views more  FGCS 2007»
15 years 6 months ago
Promoting performance and separation of concerns for data mining applications on the grid
Grid Computing brought the promise of making high-performance computing cheaper and more easily available than traditional supercomputing platforms. Such a promise was very well r...
Vasco Furtado, Francisco Flávio de Souza, W...
IJCV
2002
143views more  IJCV 2002»
15 years 6 months ago
Trinocular Stereo: A Real-Time Algorithm and its Evaluation
In telepresence applications each user is immersed in a rendered 3D-world composed from representations transmitted from remote sites. The challenge is to compute dense range data...
Jane Mulligan, Volkan Isler, Konstantinos Daniilid...
IJMI
2002
82views more  IJMI 2002»
15 years 6 months ago
Protein names and how to find them
A prerequisite for all higher level information extraction tasks is the identication of unknown names in text. Today, when large corpora can consist of billions of words, it is of...
Kristofer Franzén, Gunnar Eriksson, Fredrik...