10870 search results - page 1847 / 2174 » Model Checking Programs |
186
click to vote
SIMULATION
2002
15 years 6 months ago
2002
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
168
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
154
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The web accelerated the way people collaborate globally distributed. With Google Wave, a rich and extensible real-time collaboration platform is becoming available to a l...
175
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
185
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...