Sciweavers

8816 search results - page 1354 / 1764
» Interactive Modeling of Plants
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
FPL
2008
Springer
94views Hardware» more  FPL 2008»
15 years 8 months ago
Acceleration of a production rigid molecule docking code
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
Bharat Sukhwani, Martin C. Herbordt
BCSHCI
2008
15 years 8 months ago
Research methods for HCI
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
Anna Louise Cox, Paul A. Cairns, Harold W. Thimble...
CSSW
2007
15 years 8 months ago
Collaborative Web-Publishing with a Semantic Wiki
Abstract: Semantic wikis have been introduced for collaborative authoring of ontologies as well as for annotating wiki content with semantic meta data. In this paper, we introduce ...
Rico Landefeld, Harald Sack
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
« Prev « First page 1354 / 1764 Last » Next »