Sciweavers

805 search results - page 107 / 161
» Concept-Driven Engineering for Supporting Different Views of...
Sort
View
IJCSA
2006
111views more  IJCSA 2006»
15 years 1 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
IVC
2000
119views more  IVC 2000»
15 years 1 months ago
Real time tracking of borescope tip pose
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
Ken Martin, Charles V. Stewart
RE
1999
Springer
15 years 5 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
IESA
2007
15 years 3 months ago
CCTS-based Business Information Modelling for Increasing Cross-Organizational Interoperability
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
Christoph Schroth, G. Pemptroad, Till Janner
EUROPAR
2000
Springer
15 years 5 months ago
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
Vítor Santos Costa, Ricardo Rocha, Fernando...