Sciweavers

AC
2003
Springer
13 years 9 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
AC
2003
Springer
13 years 9 months ago
The Surprising Power of Epidemic Communication
We suggest that a combination of randomization and gossip communication can be used to overcome scalability barriers that limit the utility of many technologies for distributed sys...
Kenneth P. Birman
AC
2003
Springer
13 years 9 months ago
Combining Biometric Evidence for Person Authentication
Josef Bigün, Julian Fiérrez-Aguilar, J...
AC
2003
Springer
13 years 9 months ago
Replication Strategies for Highly Available Peer-to-Peer Storage
We are investigating strategies for using replication to design and implement highly reliable peer-to-peer systems. In particular, we are comparing the use of whole object and blo...
Ranjita Bhagwan, David Moore, Stefan Savage, Geoff...
AC
2003
Springer
13 years 9 months ago
Timed Automata: Semantics, Algorithms and Tools
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
Johan Bengtsson, Wang Yi
LSO
2004
Springer
13 years 9 months ago
Learning Software Maintenance Organizations
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
Kleiber D. de Sousa, Nicolas Anquetil, Káth...
LSO
2004
Springer
13 years 9 months ago
Embedding Experiences in Micro-didactical Arrangements
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
Eric Ras, Stephan Weibelzahl
LSO
2004
Springer
13 years 9 months ago
COTS Evaluation Supported by Knowledge Bases
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
Abdallah Mohamed, Tom Wanyama, Günther Ruhe, ...
LSO
2004
Springer
13 years 9 months ago
Impreciseness and Its Value from the Perspective of Software Organizations and Learning
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
Grigori Melnik, Michael M. Richter
LSO
2004
Springer
13 years 9 months ago
Learning How to Manage Risks Using Organizational Knowledge
In spite of being an important software activity, many software organizations present difficulties in managing risks. This happens mainly due to their low maturity level, and becau...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Glei...