3429 search results - page 406 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
151
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
139
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
175
click to vote
SSDBM
2000
IEEE
15 years 9 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
133
Voted
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
143
Voted
FUIN
2008
15 years 4 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...