1105 search results - page 45 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
119
click to vote
KBSE
1999
IEEE
15 years 6 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 ...
123
click to vote
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
102
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
125
click to vote
DIGITALCITIES
2000
Springer
15 years 6 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
101
click to vote
FSTTCS
2010
Springer
15 years 8 days ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...