21430 search results - page 3851 / 4286 » Abstract Effective Models |
211
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
171
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
175
click to vote
FIDJI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
186
click to vote
HIPC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
179
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...