3801 search results - page 707 / 761 » An Approach to Modeling Software Safety |
HCI
2007
14 years 11 months ago
2007
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...
CPHYSICS
2007
14 years 9 months ago
2007
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
100
click to vote
SCP
2010
14 years 8 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...