7404 search results - page 1220 / 1481 » New Tools in Education |
169
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
181
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we describe the design and implementation of a mobile phone picture sharing system MobShare that enables immediate, controlled, and organized sharing of mobile pictu...
167
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
173
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
167
click to vote
SIGDOC
2004
ACM
16 years 6 days ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...