1162 search results - page 150 / 233 » Specifying Reusable Components |
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
ER
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
116
click to vote
DAGSTUHL
2006
14 years 11 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
KIC
2000
14 years 11 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
FS
2006
14 years 10 months ago
2006
Fads models were introduced by Shiller (1984) and Summers (1986) as plausible alternatives to the efficient markets/constant expected returns assumptions. Under these models, loga...