852 search results - page 123 / 171 » entcs 2010 |
ENTCS
2008
14 years 12 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
ENTCS
2008
14 years 11 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
112
Voted
ENTCS
2008
14 years 11 months ago
2008
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
120
Voted
ENTCS
2010
15 years 15 days ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
94
Voted
ENTCS
2010
15 years 15 days 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...