1974 search results - page 138 / 395 » A Library System for Small-Scale Library |
119
Voted
JIPS
2006
15 years 2 months ago
2006
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
103
Voted
ICWL
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...
122
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
118
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
119
click to vote
CBMS
2006
IEEE
15 years 9 months ago
2006
IEEE
Existing computer-based spinal stenosis diagnosis systems are not fully automatic. Their performance depends on the knowledge and experience of the user. Such a system is typicall...