Sciweavers

2414 search results - page 323 / 483
» Reasoning Support for OWL-E
Sort
View
ACL2
2006
ACM
16 years 25 days ago
Implementing a cost-aware evaluator for ACL2 expressions
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
Ruben Gamboa, John R. Cowles
208
Voted
IWCMC
2006
ACM
16 years 25 days ago
Multi-hop CDMA cellular networks with power control
The concept of multi-hop CDMA cellular networks has been around for sometime now. It is a widely accepted assumption that using multi-hopping in cellular networks will increase th...
Ayman Radwan, Hossam S. Hassanein
MSWIM
2006
ACM
16 years 25 days ago
Sampling time-dependent parameters in high-speed network monitoring
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
Edurne Izkue, Eduardo Magaña
NETGAMES
2006
ACM
16 years 25 days ago
A peer-to-peer architecture for massive multiplayer online games
Massive Multiplayer Online Games with their virtual gaming worlds grow in user numbers as well as in the size of the virtual worlds. With this growth comes a significant increase...
Thorsten Hampel, Thomas Bopp, Robert Hinn
SOFTVIS
2006
ACM
16 years 25 days ago
Mondrian: an agile information visualization framework
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
Michael Meyer, Tudor Gîrba, Mircea Lungu