Sciweavers

2450 search results - page 149 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
VMCAI
2009
Springer
15 years 11 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
ALIFE
1999
15 years 4 months ago
A New Structurally Dissolvable Self-Reproducing Loop Evolving in a Simple Cellular Automata Space
tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
Hiroki Sayama
BXML
2003
15 years 5 months ago
An XML-based Component Architecture for Personalized Adaptive Web Applications
: Developing personalized applications for the ubiquitous Web assumes to create content that can be automatically adapted to both different presentation platforms and user preferen...
Zoltán Fiala, Michael Hinz, Frank Wehner
RECOMB
2005
Springer
16 years 4 months ago
Predicting Transcription Factor Binding Sites Using Structural Knowledge
Abstract. Current approaches for identification and detection of transcription factor binding sites rely on an extensive set of known target genes. Here we describe a novel structu...
Tommy Kaplan, Nir Friedman, Hanah Margalit
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler