Sciweavers

6527 search results - page 1032 / 1306
» On Typing Information Flow
Sort
View
183
Voted
OTM
2007
Springer
16 years 1 months ago
Trust Management Model and Architecture for Context-Aware Service Platforms
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
Ricardo Neisse, Maarten Wegdam, Marten van Sindere...
198
Voted
PERVASIVE
2007
Springer
16 years 1 months ago
Virtual Walls: Protecting Digital Privacy in Pervasive Environments
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
Apu Kapadia, Tristan Henderson, Jeffrey J. Fieldin...
189
Voted
QOSA
2007
Springer
16 years 1 months ago
Architectural Knowledge: Getting to the Core
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
Remco C. de Boer, Rik Farenhorst, Patricia Lago, H...
206
Voted
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 1 months ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
SPIRE
2007
Springer
16 years 1 months ago
Approximate String Matching with Lempel-Ziv Compressed Indexes
Abstract. A compressed full-text self-index for a text T is a data structure requiring reduced space and able of searching for patterns P in T. Furthermore, the structure can repro...
Luís M. S. Russo, Gonzalo Navarro, Arlindo ...
« Prev « First page 1032 / 1306 Last » Next »