4917 search results - page 95 / 984 » Software Engineering is Not Computer Science |
SPIN
1999
Springer
14 years 3 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
Presentation
DICOM WORLD, is your main website for learning, speaking, and discussing DICOM. This includes but not limited to DICOM, PACS, Radiology, DICOM related software, DICOM related devic...
ENC
2005
IEEE
14 years 4 months ago
2005
IEEE
IMSCCS
2006
IEEE
14 years 5 months ago
2006
IEEE