Sciweavers

1661 search results - page 200 / 333
» Real-time specification patterns
Sort
View
157
Voted
ERSHOV
2009
Springer
15 years 5 months ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
BMCBI
2007
138views more  BMCBI 2007»
15 years 1 months ago
A systematic approach to detecting transcription factors in response to environmental stresses
Background: Eukaryotic cells have developed mechanisms to respond to external environmental or physiological changes (stresses). In order to increase the activities of stress-prot...
Li-Hsieh Lin, Hsiao-Ching Lee, Wen-Hsiung Li, Bor-...
CVPR
1999
IEEE
16 years 3 months ago
High-Level and Generic Models for Visual Search: When Does High Level Knowledge Help?
We analyze the problem of detecting a road target in background clutter and investigate the amount of prior (i.e. target specific) knowledge needed to perform this search task. Th...
Alan L. Yuille, James M. Coughlan
WWW
2005
ACM
16 years 2 months ago
Web services security configuration in a service-oriented architecture
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
Takeshi Imamura, Michiaki Tatsubori, Yuichi Nakamu...
118
Voted
CHI
2003
ACM
16 years 2 months ago
The bull's-eye: a framework for web application user interface design guidelines
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...
Betsy Beier, Misha W. Vaughan