5630 search results - page 711 / 1126 » Computability in Specification |
178
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes a proof of concept for introducing iPods and iPodLinux into a one-semester introductory undergraduate operating systems course. iPodLinux is a version of the ...
213
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
183
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
147
click to vote
SIGPRO
2008
15 years 6 months ago
2008
With the rapid development of X-ray source and detector technologies, multi-source scanners become a hot topic in the computed tomography (CT) field, which can acquire several pro...
191
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
This paper analyses the probability that randomly deployed sensor nodes triangulate any point within the target area. Its major result is the probability of triangulation for any p...