2374 search results - page 241 / 475 » Automatic Generation of Model Translations |
210
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
181
click to vote
FPL
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we propose a Dynamically Reconfigurable Processor Array (DRPA) generator which can generate various types of DRPAs. Our target DRPA architecture is fully parameter...
214
click to vote
CIBSE
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
150
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
160
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...