15253 search results - page 2666 / 3051 » Integer-Programming Software Systems |
148
click to vote
BIRTHDAY
2010
Springer
15 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
145
click to vote
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
146
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
126
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
134
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring t...