Sciweavers

4126 search results - page 204 / 826
» Modelling Electronic Organizations
Sort
View
CORR
2008
Springer
63views Education» more  CORR 2008»
15 years 6 months ago
Evaluation of the thermal and hydraulic performances of a very thin sintered copper flat heat pipe for 3D microsystem packages
The reported research work presents numerical studies validated by experimental results of a flat micro heat pipe with sintered copper wick structure. The objectives of this resea...
Slaska Tzanova, Lora Kamenova, Yvan Avenas, Christ...
BIRD
2008
Springer
158views Bioinformatics» more  BIRD 2008»
15 years 8 months ago
A Computational Method for Reconstructing Gapless Metabolic Networks
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
Esa Pitkänen, Ari Rantanen, Juho Rousu, Esko ...
SWQD
2012
234views more  SWQD 2012»
14 years 2 months ago
BIM: A Methodology to Transform Business Processes into Software Systems
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
Francisco J. Duarte, Ricardo Jorge Machado, Jo&ati...
QOSA
2007
Springer
16 years 20 days ago
Architectural Knowledge: Getting to the Core
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
Remco C. de Boer, Rik Farenhorst, Patricia Lago, H...
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
16 years 3 days ago
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
João P. Marques Silva