Sciweavers

2021 search results - page 178 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
EICS
2009
ACM
16 years 24 days ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
151
Voted
JCC
2008
84views more  JCC 2008»
15 years 6 months ago
Explicit ion, implicit water solvation for molecular dynamics of nucleic acids and highly charged molecules
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
Ninad V. Prabhu, Manoranjan Panda, Qingyi Yang, Ki...
JOOP
1998
98views more  JOOP 1998»
15 years 6 months ago
Design Patterns as Language Constructs
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
Jan Bosch
PODS
2004
ACM
158views Database» more  PODS 2004»
16 years 6 months ago
Composing Schema Mappings: Second-Order Dependencies to the Rescue
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
EDOC
2008
IEEE
16 years 22 days ago
Achieving Business Process Flexibility with Business Rules
Business processes used in networked business are often large and complex, which makes them difficult to manage and change. In this paper we address this lack of flexibility by pr...
Tim van Eijndhoven, Maria-Eugenia Iacob, Mar&iacut...