1087 search results - page 80 / 218 » Modelling and Implementing Complex Systems with Timebands |
132
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
118
click to vote
MKWI
2008
15 years 4 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
131
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
163
click to vote
ISSE
2010
15 years 1 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
143
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...