6274 search results - page 409 / 1255 » Proofs, Programs, Processes |
167
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
173
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
175
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
A longitudinal case study evaluating the effects of adopting the Extreme Programming (XP) methodology was performed at Sabre Airline SolutionsTM. The Sabre team was a characterist...
170
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
The osteophyte shows only on some particular locations on the vertebra. This indicates that other locations on the vertebra shape contain that are not of interest hinder the spine...
189
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...