524 search results - page 56 / 105 » Application of Graph Transformation in Verification of Dynam... |
ICCS
2007
Springer
14 years 17 days ago
2007
Springer
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
APAQS
2001
IEEE
14 years 10 days ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
MICRO
1999
IEEE
14 years 29 days ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
DAC
2010
ACM
14 years 17 hour ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...