Sciweavers

7404 search results - page 1300 / 1481
» Software performance antipatterns
Sort
View
DAGSTUHL
2007
15 years 8 months ago
QUAD: Overview and Recent Developments
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...
David Arditti, Côme Berbain, Olivier Billet,...
DAIS
2008
15 years 8 months ago
Adaptive Web Service Migration
In highly dynamic and heterogeneous environments such as mobile and ubiquitous computing, software must be able to adapt at runtime and react to the environment. Furthermore it sho...
Holger Schmidt, Rüdiger Kapitza, Franz J. Hau...
EUSFLAT
2007
152views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Object Oriented Approach in Fuzzy Arithmetic Using Parametric Representation of Fuzzy Numbers
Parametric representation of fuzzy numbers (PFN) with derived methods for performing fuzzy arithmetic proves to have better accuracy and similar computational speed to using trian...
Frantisek Hunka
SE
2010
15 years 8 months ago
Towards Social Information Systems
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....
Marc Quast, Jean-Marie Favre
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
« Prev « First page 1300 / 1481 Last » Next »