366 search results - page 54 / 74 » Syntactic Abstraction of B Models to Generate Tests |
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Successful learning though exploration in open learning environments has been shown to depend on whether students possess the necessary meta-cognitive skills, including s...
94
Voted
AWIC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
FMOODS
2006
14 years 11 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
103
click to vote
LCTRTS
2010
Springer
14 years 8 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...