1888 search results - page 22 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
92
Voted
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
114
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
108
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
142
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...