15401 search results - page 2831 / 3081 » Software in Automotive Systems |
181
click to vote
EMSOFT
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
177
click to vote
ER
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
193
click to vote
ESAW
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
156
click to vote
FOSSACS
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
173
click to vote
FOSSACS
2003
Springer
16 years 14 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....