Sciweavers

4255 search results - page 683 / 851
» Cover
Sort
View
RP
2010
Springer
146views Control Systems» more  RP 2010»
15 years 4 months ago
Depth Boundedness in Multiset Rewriting Systems with Name Binding
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
Fernando Rosa Velardo
SCHEDULING
2010
74views more  SCHEDULING 2010»
15 years 4 months ago
Term-end exam scheduling at United States Military Academy/West Point
Scheduling term-end exams (TEE) at the United States Military Academy in West Point is unlike any other exam timetabling problem we know of. Exam timetabling normally produces a c...
Siqun Wang, Michael R. Bussieck, Monique Guignard,...
SCP
2010
78views more  SCP 2010»
15 years 4 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...
SIGCSE
2010
ACM
395views Education» more  SIGCSE 2010»
15 years 4 months ago
Linux kernel projects for an undergraduate operating systems course
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
Rob Hess, Paul Paulson
SPIRE
2010
Springer
15 years 4 months ago
Hypergeometric Language Model and Zipf-Like Scoring Function for Web Document Similarity Retrieval
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
Felipe Bravo-Marquez, Gaston L'Huillier, Sebasti&a...