807 search results - page 37 / 162 » Modeling Hybrid Domains Using Process Description Language |
124
click to vote
DBPL
1989
Springer
15 years 6 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
130
Voted
OWLED
2007
15 years 3 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
123
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
96
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...
124
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...