Sciweavers

390 search results - page 14 / 78
» Algorithmic Mechanism Design (Extended Abstract)
Sort
View
ECIR
2007
Springer
13 years 9 months ago
A Parameterised Search System
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...
Roberto Cornacchia, Arjen P. de Vries
EURODAC
1995
IEEE
153views VHDL» more  EURODAC 1995»
13 years 11 months ago
VHDL-based communication and synchronization synthesis
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
Wolfgang Ecker, Manfred Huber
WDAG
1993
Springer
98views Algorithms» more  WDAG 1993»
13 years 11 months ago
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
Cheng Wu, Gregor von Bochmann, Ming Yu Yao
WFLP
2009
Springer
297views Algorithms» more  WFLP 2009»
14 years 2 months ago
Programming with Multiple Paradigms in Lua
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
Roberto Ierusalimschy
NOMS
2008
IEEE
123views Communications» more  NOMS 2008»
14 years 1 months ago
Model-based management of security services in complex network environments
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
João Porto de Albuquerque, Heiko Krumm, Pau...