Sciweavers

450 search results - page 72 / 90
» Process Materialization Using Templates and Rules to Design ...
Sort
View
CANDC
2005
ACM
13 years 10 months ago
Computational schemes for biomimetic sculpture
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
Brower Hatcher, Karl Aspelund, Andrew R. Willis, J...
CHI
2004
ACM
14 years 9 months ago
Predictive human performance modeling made easy
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
Bonnie E. John, Konstantine C. Prevas, Dario D. Sa...
EKAW
1999
Springer
14 years 27 days ago
Modeling Information Sources for Information Integration
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
François Goasdoué, Chantal Reynaud
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 2 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
AICT
2006
IEEE
210views Communications» more  AICT 2006»
14 years 2 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...