Sciweavers

4770 search results - page 630 / 954
» Flexible Type Analysis
Sort
View
164
Voted
HICSS
2010
IEEE
152views Biometrics» more  HICSS 2010»
15 years 11 months ago
Increasing Software Security through Open Source or Closed Source Development? Empirics Suggest that We have Asked the Wrong Que
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
Guido Schryen, Eliot Rich
165
Voted
CONCUR
2001
Springer
15 years 11 months ago
Reasoning about Security in Mobile Ambients
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
ECAL
2001
Springer
15 years 11 months ago
Stability of Metabolic and Balanced Organisations
We investigate the possible organisations emerging from an artificial chemistry (AC) of colliding molecules in a well stirred reactor. The molecules are generated from 7 basic comp...
Pietro Speroni di Fenizio, Wolfgang Banzhaf
SSD
2001
Springer
94views Database» more  SSD 2001»
15 years 11 months ago
Selectivity Estimation of Complex Spatial Queries
Several studies have focused on the efficient processing of simple spatial query types such as selections and spatial joins. Little work, however, has been done towards the optimiz...
Nikos Mamoulis, Dimitris Papadias
DATE
2000
IEEE
121views Hardware» more  DATE 2000»
15 years 11 months ago
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
Axel Jantsch, Per Bjuréus