6308 search results - page 39 / 1262 » Modeling Urgency in Timed Systems |
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
ICCTA
2007
IEEE
15 years 4 months ago
2007
IEEE
Population size plays a major role in determining the performance of any biometric authentication system, particularly when such systems are used for civilian applications. In thi...