Sciweavers

2969 search results - page 320 / 594
» The Case for User-Centered CASE Tools
Sort
View
GCB
2006
Springer
119views Biometrics» more  GCB 2006»
15 years 10 months ago
Comparative Analysis of Cyclic Sequences: Viroids and other Small Circular RNAs
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...
Axel Mosig, Ivo L. Hofacker, Peter F. Stadler
ERCIMDL
2000
Springer
88views Education» more  ERCIMDL 2000»
15 years 10 months ago
Modeling Archival Repositories for Digital Libraries
This paper studies the archival problem: how a digital library can preserve electronic documents over long periods of time. We analyze how an archival repository can fail and we p...
Arturo Crespo, Hector Garcia-Molina
ESAW
2000
Springer
15 years 10 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi
ICNP
1998
IEEE
15 years 10 months ago
Flow Theory: An Enhancement
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
Alfio Lombardo, Giacomo Morabito, Sergio Palazzo, ...
HPCN
1997
Springer
15 years 10 months ago
Boolean Function Manipulation on a Parallel System Using BDDs
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Mat...