907 search results - page 3 / 182 » Monitoring of Real-Time Properties |
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
AINTEC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
ICDCSW
2003
IEEE
14 years 1 months ago
2003
IEEE
The advancement of wireless communication and mobile telecommunication has made mobile commerce possible. In the retail business under the evolving market, the users would like to...
PODC
1990
ACM
13 years 12 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
RTCSA
1999
IEEE
14 years 3 days ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...