Sciweavers

918 search results - page 155 / 184
» Speculative Issue Logic
Sort
View
ICSE
2009
IEEE-ACM
15 years 3 months ago
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
José Rufino, João Craveiro, Paulo Ve...
ICSOC
2009
Springer
15 years 3 months ago
Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use
Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...
Olaf Grebner
IFIP
2009
Springer
15 years 3 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber
IJNSEC
2011
167views more  IJNSEC 2011»
15 years 1 months ago
New Real Time Multicast Authentication Protocol
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
Riham Abdellatif, Heba Kamal Aslan, Salwa H. Elram...
EDBT
2011
ACM
203views Database» more  EDBT 2011»
14 years 9 months ago
QueryViz: helping users understand SQL queries and their patterns
We present QueryViz, a novel visualization tool for SQL queries that reduces the time needed to read and understand existing queries. It targets two principal audiences: (i) users...
Jonathan Danaparamita, Wolfgang Gatterbauer