Sciweavers

537 search results - page 76 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
99
Voted
MODELS
2009
Springer
15 years 4 months ago
Domain analysis on an electronic health records system
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
88
Voted
TEC
2008
99views more  TEC 2008»
14 years 10 months ago
A Drug Candidate Design Environment Using Evolutionary Computation
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
M. Ihsan Ecemis, J. Wikel, C. Bingham, Eric Bonabe...
102
Voted
SEUS
2008
IEEE
15 years 4 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
98
Voted
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 2 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...
99
Voted
SAC
2004
ACM
15 years 3 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White