7430 search results - page 792 / 1486 » Programming Applications in CIFF |
194
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
169
click to vote
ADAEUROPE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
200
click to vote
AMAST
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
186
click to vote
CD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
179
click to vote
CD
2004
Springer
16 years 1 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...