851 search results - page 8 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
97
Voted
VLSID
2003
IEEE
16 years 1 days ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
91
Voted
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
89
Voted
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
104
click to vote
ICCAD
1998
IEEE
15 years 3 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...