2775 search results - page 125 / 555 » Visualizing abstract events |
150
click to vote
IVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
168
Voted
IC3
2009
15 years 2 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
148
click to vote
IFM
2009
Springer
15 years 2 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
186
click to vote
CF
2004
ACM
15 years 10 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
168
Voted
ISBRA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...