Sciweavers

4286 search results - page 715 / 858
» Formalizing Service Interactions
Sort
View
146
Voted
PPSN
1998
Springer
15 years 8 months ago
On Genetic Algorithms and Lindenmayer Systems
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
Gabriela Ochoa
175
Voted
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 7 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
112
Voted
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
15 years 7 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
155
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 7 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
123
Voted
ASIAN
2007
Springer
129views Algorithms» more  ASIAN 2007»
15 years 7 months ago
An Integrated Model for Access Control and Information Flow Requirements
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
Samiha Ayed, Nora Cuppens-Boulahia, Fréd&ea...