Sciweavers

2430 search results - page 418 / 486
» Tool support for quality-driven development of software arch...
Sort
View
AVI
2004
15 years 2 months ago
A graph-based interface to complex hypermedia structure visualization
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
Manuel Freire, Pilar Rodríguez
SCAM
2003
IEEE
15 years 6 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
SDL
2007
192views Hardware» more  SDL 2007»
15 years 2 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
NAR
2002
89views more  NAR 2002»
15 years 1 months ago
Transcription Regulatory Regions Database (TRRD): its status in 2002
Transcription Regulatory Regions Database (TRRD) is an informational resource containing an integrated description of the gene transcription regulation. An entry of the database c...
Nikolay A. Kolchanov, Elena V. Ignatieva, Elena A....
CSCWD
2001
Springer
15 years 6 months ago
Update Algorithms for the Sketch Data Model
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
Michael Johnson, Robert D. Rosebrugh