Sciweavers

10802 search results - page 239 / 2161
» Generative and developmental systems
Sort
View
EDBT
2009
ACM
102views Database» more  EDBT 2009»
15 years 7 months ago
On keys, foreign keys and nullable attributes in relational mapping systems
We consider the following scenario for a mapping system: given a source schema, a target schema, and a set of value correspondences between these two schemas, generate an executab...
Luca Cabibbo
110
Voted
ICAC
2008
IEEE
15 years 7 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
125
Voted
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 2 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
90
Voted
PADS
2006
ACM
15 years 6 months ago
Modeling Autonomous-System Relationships
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
Xenofontas A. Dimitropoulos, George F. Riley
107
Voted
PADL
2000
Springer
15 years 4 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu