591 search results - page 8 / 119 » A UML tool for an automatic generation of simulation program... |
ADAEUROPE
2007
Springer
13 years 9 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
DMS
2010
13 years 5 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
CBMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...