134 search results - page 25 / 27 » On Formalisms And Analysis, Generation And Synthesis In Mach... |
ECMDAFA
2010
Springer
13 years 10 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
IJCAI
2003
13 years 8 months ago
2003
With the growing use of distributed information networks, there is an increasing need for algorithmic and system solutions for data-driven knowledge acquisition using distributed,...
TCS
2002
13 years 7 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
EWSA
2004
Springer
14 years 22 days ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
LCTRTS
2007
Springer
14 years 1 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...