Sciweavers

2748 search results - page 321 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
BMCBI
2005
169views more  BMCBI 2005»
15 years 4 months ago
MAPPER: a search engine for the computational identification of putative transcription factor binding sites in multiple genomes
Background: Cis-regulatory modules are combinations of regulatory elements occurring in close proximity to each other that control the spatial and temporal expression of genes. Th...
Voichita D. Marinescu, Isaac S. Kohane, Alberto Ri...
UML
2000
Springer
15 years 8 months ago
A UML-based Methodology for Hypermedia Design
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
Rolf Hennicker, Nora Koch
CGF
2010
128views more  CGF 2010»
15 years 4 months ago
An Optimizing Compiler for Automatic Shader Bounding
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
Petrik Clarberg, Robert Toth, Jon Hasselgren, Toma...
GW
2009
Springer
292views Biometrics» more  GW 2009»
15 years 2 months ago
To Beat or Not to Beat: Beat Gestures in Direction Giving
Research on gesture generation for embodied conversational agents (ECA's) mostly focuses on gesture types such as pointing and iconic gestures, while ignoring another gesture ...
Mariët Theune, Chris J. Brandhorst
CADE
2005
Springer
16 years 4 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin