385 search results - page 15 / 77 » Semi-automatic Distributed Synthesis |
ICAD
2004
13 years 11 months ago
2004
We describe significant developments towards a real-time implementation of SonArt, the parameter mapping framework first presented in [1] 1 . Enhancements include the incorporatio...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified beh...