Sciweavers

12399 search results - page 495 / 2480
» Deformable structural models
Sort
View
COMPSAC
2009
IEEE
16 years 1 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
248
Voted
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
16 years 1 months ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur
CONCUR
2007
Springer
16 years 1 months ago
Timed Concurrent Game Structures
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
Thomas Brihaye, François Laroussinie, Nicol...
DBPL
2007
Springer
75views Database» more  DBPL 2007»
16 years 1 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
16 years 1 months ago
Environment as a spatial constraint on the growth of structural form
We explore the use of the developmental environment as a spatial constraint on a model of Artificial Embryogeny, applied to the growth of structural forms. A Deva model is used t...
Taras Kowaliw, Peter Grogono, Nawwaf N. Kharma