3765 search results - page 214 / 753 » Formal Methods for Systems Engineering Behavior Models |
172
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
201
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
134
click to vote
AIPS
1998
15 years 8 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
179
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
214
click to vote
MTV
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...