Sciweavers

1421 search results - page 184 / 285
» The First and Second Max-SAT Evaluations
Sort
View
TSE
2010
155views more  TSE 2010»
15 years 4 months ago
A Comparison of Six UML-Based Languages for Software Process Modeling
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
Reda Bendraou, Jean-Marc Jézéquel, M...
WAIM
2010
Springer
15 years 4 months ago
Enriching the Contents of Enterprises' Wiki Systems with Web Information
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...
Li Zhao, Yexin Wang, Congrui Huang, Yan Zhang
WIOPT
2010
IEEE
15 years 4 months ago
Optimal revocations in ephemeral networks: A game-theoretic framework
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
Igor Bilogrevic, Mohammad Hossein Manshaei, Maxim ...
COR
2010
129views more  COR 2010»
15 years 4 months ago
Flexible solutions in disjunctive scheduling: General formulation and study of the flow-shop case
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
Mohamed Ali Aloulou, Christian Artigues
CORR
2010
Springer
113views Education» more  CORR 2010»
15 years 4 months ago
A Strategy to enable Prefix of Multicast VoD through dynamic buffer allocation
In this paper we have proposed a dynamic buffer allocation algorithm for the prefix, based on the popularity of the videos. More cache blocks are allocated for most popular videos...
T. R. Gopalakrishnan Nair, P. Jayarekha