2373 search results - page 118 / 475 » The Design of the Zinc Modelling Language |
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
FSMNLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
115
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
110
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
136
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...