Sciweavers

299 search results - page 24 / 60
» An Operadic Approach to Internal Structures
Sort
View
MEMOCODE
2007
IEEE
14 years 1 months ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
CPM
2004
Springer
84views Combinatorics» more  CPM 2004»
14 years 1 months ago
Small Phylogeny Problem: Character Evolution Trees
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
Arvind Gupta, Ján Manuch, Ladislav Stacho, ...
COMPSAC
2009
IEEE
14 years 11 days ago
Modeling and Predicting Software Failure Costs
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...
Michael Grottke, Christian A. Graf
CONTEXT
1999
Springer
13 years 12 months ago
Contextual Inference in Computational Semantics
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
Christof Monz
CAISE
2008
Springer
13 years 9 months ago
A Framework to Analyse IS Alignment Approaches: Towards the Definition of Underlying Alignment Mechanisms
Abstract. Today, companies are immersed in extremely competitive worldwide markets that change continuously. Thus, companies have to evolve introducing strategic and structural cha...
Oscar Avila, Virginie Goepp, François Kiefe...