Sciweavers

15254 search results - page 177 / 3051
» A k
Sort
View
108
Voted
ATAL
2003
Springer
16 years 10 days ago
Discovery of infrastructure in multi-agent systems
Brent K. Langley, Massimo Paolucci, Katia P. Sycar...
CHARME
2003
Springer
87views Hardware» more  CHARME 2003»
16 years 10 days ago
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav ...
107
Voted
CIKM
2003
Springer
16 years 10 days ago
Ontology-driven peer profiling in peer-to-peer enabled semantic web
Olena Parkhomenko, Yugyung Lee, E. K. Park
CONCUR
2003
Springer
16 years 9 days ago
Netcharts: Bridging the gap between HMSCs and executable specifications
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagaraj...