1054 search results - page 144 / 211 » Model Transformations in the Model-Based Development of Real... |
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
EDOC
2003
IEEE
14 years 2 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
ASWEC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
COLING
2010
13 years 3 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
ACAL
2009
Springer
14 years 3 months ago
2009
Springer
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...