2810 search results - page 351 / 562 » Contract-Based Component System Design |
142
click to vote
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
131
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
117
click to vote
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
130
click to vote
SMC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...
133
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...