2748 search results - page 143 / 550 » Generating Object-Z Specifications from Use Cases |
104
Voted
EMNLP
2008
15 years 2 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
121
Voted
AUSDM
2008
Springer
15 years 2 months ago
2008
Springer
Estimating the rate at which events happen has been studied under various guises and in different settings. We are interested in the specific case of consumerinitiated events or t...
107
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: As numerous diseases involve errors in signal transduction, modern therapeutics often target proteins involved in cellular signaling. Interpretation of the activity of...
92
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
121
Voted
SP
2002
IEEE
15 years 6 days ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...