6248 search results - page 379 / 1250 » Programming in a data factory |
175
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
187
click to vote
ICAPR
2005
Springer
16 years 10 days ago
2005
Springer
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
184
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
146
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
146
click to vote
IWPC
2003
IEEE
16 years 2 days ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...