1833 search results - page 189 / 367 » Mechanized Verification with Sharing |
171
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Wireless technologies and applications received great attention in recent years. The medium access control (MAC) protocol is the main element that determines the efficiency in sha...
159
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
151
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
182
click to vote
CRIWG
2004
15 years 8 months ago
2004
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
157
click to vote
COMCOM
2006
15 years 6 months ago
2006
In the paper, we consider a preference heterogeneity problem in large-scale multicast applications. Abundant content, data type and diverse members' interests naturally lead ...