Sciweavers

398 search results - page 54 / 80
» Spider Diagrams of Order
Sort
View
ENTCS
2010
118views more  ENTCS 2010»
13 years 7 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra...
JSS
2010
132views more  JSS 2010»
13 years 4 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ISSE
2011
13 years 4 months ago
Time-triggered buffers for event-based middleware systems
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
Jonathan Sprinkle, Brandon Eames
ICASSP
2011
IEEE
13 years 1 months ago
High-order center-frequency adaptive filters using block-diagram-based frequency transformation
This paper proposes a simple method of realization of centerfrequency adaptive filters for high-accuracy detection of band-pass signals immersed in a broadband signal. Our method...
Shunsuke Koshita, Yuki Kumamoto, Masahide Abe, Mas...
ICSE
2012
IEEE-ACM
12 years 7 days ago
Engineering and verifying requirements for programmable self-assembling nanomachines
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Tit...