22114 search results - page 235 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
188
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
187
click to vote
SEW
2003
IEEE
16 years 11 days ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
185
Voted
GI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
231
Voted
SIGCOMM
1991
ACM
15 years 10 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
178
click to vote
IRMA
2000
15 years 8 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...