7557 search results - page 159 / 1512 » Modeling Timed Concurrent Systems |
163
click to vote
MEMOCODE
2003
IEEE
15 years 11 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...
166
Voted
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
132
Voted
DAGSTUHL
2006
15 years 7 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...
165
Voted
ICCTA
2007
IEEE
16 years 19 days 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...