Sciweavers

1289 search results - page 145 / 258
» Flexible Language Interoperability
Sort
View
VL
1996
IEEE
162views Visual Languages» more  VL 1996»
14 years 2 months ago
Interactive Authoring of Multimedia Documents
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raym...
ASPLOS
2008
ACM
14 years 8 days ago
SoftSig: software-exposed hardware signatures for code analysis and optimization
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
James Tuck, Wonsun Ahn, Luis Ceze, Josep Torrellas
JCM
2006
124views more  JCM 2006»
13 years 10 months ago
Policy Defined Spectrum sharing and medium Access for Cognitive Radios
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
Lars Berlemann, Stefan Mangold, Guido R. Hiertz, B...
ENTCS
2000
112views more  ENTCS 2000»
13 years 10 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
SIGMOD
2008
ACM
188views Database» more  SIGMOD 2008»
14 years 10 months ago
HERMES: aggregative LBS via a trajectory DB engine
We present HERMES, a prototype system based on a powerful query language for trajectory databases, which enables the support of aggregative Location-Based Services (LBS). The key ...
Nikos Pelekis, Elias Frentzos, Nikos Giatrakos, Ya...