2797 search results - page 320 / 560 » Code query by example |
196
Voted
UML
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
207
click to vote
DILS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
250
click to vote
SPIN
2004
Springer
16 years 13 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
195
click to vote
CODES
2003
IEEE
16 years 12 days ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
168
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...