9455 search results - page 447 / 1891 » The Modelling Language Zinc |
228
click to vote
WSC
2007
15 years 10 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
198
click to vote
BMAS
2000
IEEE
16 years 2 days ago
2000
IEEE
This paper describes a novel modeling methodology for electrothermal effects in large mixed-signal circuits. It is accomplished by developing analog event-driven electrothermal an...
241
click to vote
ADC
2008
Springer
16 years 2 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
220
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
201
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...