807 search results - page 79 / 162 » Modeling Hybrid Domains Using Process Description Language |
126
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
161
click to vote
IR
2006
15 years 3 months ago
2006
Technical term translations are important for cross-lingual information retrieval. In many languages, new technical terms have a common origin rendered with different spelling of ...
124
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
111
click to vote
BIRTHDAY
1997
Springer
15 years 7 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
116
click to vote
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...