Sciweavers

7040 search results - page 436 / 1408
» The Single Model Principle
Sort
View
ASP
2003
Springer
16 years 2 days ago
Translation of Aggregate Programs to Normal Logic Programs
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
200
Voted
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 10 months ago
Combining bond-graphs with genetic programming for unified/automated design of mechatronic or multi domain dynamic systems
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
AINA
2004
IEEE
15 years 10 months ago
Using the Extension Function of XSLT and DSL to Secure XML Documents
XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree-oriented transformation language for transmuting ins...
Tao-Ku Chang, Gwan-Hwan Hwang
WSC
2007
15 years 9 months ago
A teragrid-enabled distributed discrete event agent-based epidemiological simulation
We discuss design issues related to the transformation of a mature Agent-Based Model (ABM) for computational epidemiology into a “grid-aware” version. EpiSims is a distributed...
Douglas J. Roberts, Diglio A. Simoni
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 8 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz