2702 search results - page 187 / 541 » Practically Applicable Formal Methods |
127
click to vote
IFM
2010
Springer
15 years 25 days ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
211
click to vote
FORTE
2011
14 years 5 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
120
click to vote
ACL
2010
15 years 11 days ago
2010
Finding allowable places in words to insert hyphens is an important practical problem. The algorithm that is used most often nowadays has remained essentially unchanged for 25 yea...
105
click to vote
IEEESCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
131
click to vote
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
We examine the practical problem of a mobile autonomous robot performing a long-duration survey task, during which it must recharge its batteries periodically. We present a scalabl...