4693 search results - page 35 / 939 » Verifying Hybrid Systems |
114
Voted
DRM
2006
Springer
15 years 4 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
ISARCS
2010
15 years 2 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
EVOTING
2004
15 years 1 months ago
2004
: When developing a catalogue of technical requirements for online voting systems to be used in legally ruled, non-parliamentary elections, major interdisciplinary problems arise w...
125
click to vote
CLEIEJ
2006
15 years 16 days ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
116
click to vote
RTS
2006
15 years 12 days ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...