1988 search results - page 187 / 398 » Engineering formal metatheory |
202
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
152
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
168
click to vote
ICFCA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
163
click to vote
PROMAS
2005
Springer
16 years 2 days ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
155
click to vote
SOCO
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...