Search Sciweavers | Sciweavers

15254 search results - page 177 / 3051

» A k

102

click to vote

ATAL
2003
Springer

110views Intelligent Agents» more ATAL 2003»

Discovery of infrastructure in multi-agent systems

15 years 11 months ago

Download www.cs.cmu.edu

Brent K. Langley, Massimo Paolucci, Katia P. Sycar...

claim paper

Read More »

123

click to vote

CCS
2003
ACM

87views Security Privacy» more CCS 2003»

Obfuscation of executable code to improve resistance to static disassembly

15 years 11 months ago

Download www.cs.arizona.edu

Cullen Linn, Saumya K. Debray

claim paper

Read More »

133

click to vote

CHARME
2003
Springer

87views Hardware» more CHARME 2003»

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

15 years 11 months ago

Download www.cs.wmich.edu

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav ...

claim paper

Read More »

click to vote

CIKM
2003
Springer

70views Information Technology» more CIKM 2003»

Ontology-driven peer profiling in peer-to-peer enabled semantic web

15 years 11 months ago

Download www.cstp.umkc.edu

Olena Parkhomenko, Yugyung Lee, E. K. Park

claim paper

Read More »

145

click to vote

CONCUR
2003
Springer

96views Distributed And Parallel Com...» more CONCUR 2003»

Netcharts: Bridging the gap between HMSCs and executable specifications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers