Sciweavers

9572 search results - page 1525 / 1915
» Cover Algorithms and Their Combination
Sort
View
MIDDLEWARE
2007
Springer
16 years 1 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
OOPSLA
2007
Springer
16 years 1 months ago
Inferring aliasing and encapsulation properties for java
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
Kin-Keung Ma, Jeffrey S. Foster
PAIRING
2007
Springer
132views Cryptology» more  PAIRING 2007»
16 years 29 days ago
Instruction Set Extensions for Pairing-Based Cryptography
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
Tobias Vejda, Dan Page, Johann Großschä...
PCM
2007
Springer
112views Multimedia» more  PCM 2007»
16 years 29 days ago
Efficient Segment Based Streaming Media Transcoding Proxy for Various Types of Mobile Devices
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
Yoohyun Park, Yong-Ju Lee, Hag-Young Kim, Kyongsok...
SFM
2007
Springer
16 years 29 days ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
« Prev « First page 1525 / 1915 Last » Next »