284 search results - page 47 / 57 » Formal Foundation for Pattern-Based Modelling |
116
Voted
TCS
2002
15 years 3 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
126
click to vote
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
DEEC
2005
IEEE
15 years 6 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
112
Voted
ISPW
2005
IEEE
15 years 6 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...