7064 search results - page 138 / 1413 » From States to Histories |
198
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
175
click to vote
ENTCS
2010
15 years 6 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
175
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
183
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
161
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...