Sciweavers

1632 search results - page 97 / 327
» On special numberings of hypergraphs
Sort
View
WECWIS
2009
IEEE
114views ECommerce» more  WECWIS 2009»
16 years 1 months ago
Service Value Networks
The current industry-driven trend of providing flexible eservices lays the ground for the new research area “service value networks” (SVNs). We observe a rising number of ind...
Benjamin Blau, Jan Kramer, Tobias Conte, Clemens v...
IFIP
2009
Springer
16 years 28 days ago
Towards a Type System for Security APIs
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
Gavin Keighren, David Aspinall, Graham Steel
RV
2009
Springer
94views Hardware» more  RV 2009»
16 years 28 days ago
Monitor Circuits for LTL with Bounded and Unbounded Future
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
Bernd Finkbeiner, Lars Kuhtz
MOBILWARE
2009
ACM
16 years 27 days ago
Map-Based Compressive Sensing Model for Wireless Sensor Network Architecture, A Starting Point
Sub-Nyquist sampling techniques for Wireless Sensor Networks (WSN) are gaining increasing attention as an alternative method to capture natural events with desired quality while mi...
Mohammadreza Mahmudimanesh, Abdelmajid Khelil, Nas...
HICSS
2008
IEEE
165views Biometrics» more  HICSS 2008»
16 years 25 days ago
CRM and Customer Portfolio Management for E-Tailers
“Don’t put all your eggs in one basket” is common wisdom with respect to financial portfolio theory. The configuration of customer portfolios with regard to appropriate risk...
Dennis Kundisch, Stefan Sackmann, Markus Ruch