4890 search results - page 727 / 978 » From system specifications to component behavioral models |
112
Voted
FUIN
2008
15 years 26 days ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
128
Voted
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract— Previous work has introduced probability distributions as first-class components in uncertain stream database systems. A lacking element is the fact of how accurate the...
HPDC
1999
IEEE
15 years 5 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...
142
Voted
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
89
Voted
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
In the last couple of years we have evidenced several initiatives promoting the vision of open educational systems. Educational brokers are supposed to take advantage of this ‘in...