8555 search results - page 368 / 1711 » Property Based Coordination |
202
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
209
click to vote
ADAEUROPE
2006
Springer
16 years 1 months ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
204
click to vote
3DIM
2005
IEEE
16 years 1 months ago
2005
IEEE
One of the difficulties in registering two range images scanned by 3D laser scanners is how to get a correct correspondence over the two images automatically. In this paper, we pr...
164
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we propose a butterfly-graph based stream authentication scheme for lossy networks where the streaming packets could be lost in both random and burst ways. Due to t...
203
click to vote
RSFDGRC
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, the concept of a granulation order is proposed in an information system. The positive approximation of a set under a granulation order is defined. Some properties o...