690 search results - page 71 / 138 » Testing Temporal Logic Properties in Distributed Systems |
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we introduce the Skellam distribution as a sensor noise model for CCD or CMOS cameras. This is derived from the Poisson distribution of photons that determine the s...
114
click to vote
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
ECRTS
1999
IEEE
15 years 4 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
181
Voted
SIGSOFT
2011
ACM
14 years 7 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
102
click to vote
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...