231 search results - page 4 / 47 » A Brief Overview of PVS |
IEICET
2006
13 years 7 months ago
2006
This paper overviews the history of a class of varactor tuned bandpass filters. Since the miniaturization as well as the high performance of the tunable bandpass filters is requir...
WOA
2007
13 years 8 months ago
2007
abstract we give an overview of the PDT, the modelling environment that is a part of the PRACTIONIST suite (figure 1), the metamodel it is built on, and a brief
JUCS
2007
13 years 7 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
DIAGRAMS
2000
Springer
13 years 11 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...