Sciweavers

10159 search results - page 1824 / 2032
» System Design Validation Using Formal Models
Sort
View
COOPIS
2003
IEEE
15 years 12 months ago
Porting OMTTs to CORBA
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
Raul Silaghi, Alfred Strohmeier, Jörg Kienzle
HICSS
2002
IEEE
128views Biometrics» more  HICSS 2002»
15 years 11 months ago
Flexible Instructional Strategies for E-learning
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
Michael Altenhofen, Joachim Schaper
VL
2002
IEEE
107views Visual Languages» more  VL 2002»
15 years 11 months ago
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
Laura Beckwith, Margaret M. Burnett, Curtis R. Coo...
GI
2001
Springer
15 years 11 months ago
Ontology-based Access to heterogeneous XML Data
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
Lule Ahmedi, Pedro José Marrón, Geor...
CODES
1998
IEEE
15 years 11 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
« Prev « First page 1824 / 2032 Last » Next »