4451 search results - page 262 / 891 » Continuous model synthesis |
213
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
156
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the mathematical underpinning used to analyse two dimensional movements with time using Fourier Analysis techniques. Interpreting the complex harmonic compone...
168
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
156
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
165
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...