1633 search results - page 286 / 327 » On the Verification of Temporal Properties |
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
CIMCA
2006
IEEE
15 years 5 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
114
click to vote
DASC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
106
click to vote
DASFAA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
103
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...