126 search results - page 13 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
69
Voted
EPEW
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
104
Voted
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
127
click to vote
ECMDAFA
2009
Springer
15 years 6 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
147
Voted
ISPD
2012
ACM
13 years 7 months ago
2012
ACM
Gate sizing in VLSI design is a widely-used method for power or area recovery subject to timing constraints. Several previous works have proposed gate sizing heuristics for power ...