590 search results - page 80 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
192
click to vote
SASN
2004
ACM
15 years 11 months ago
2004
ACM
Sensor networks are composed of a large number of low power sensor devices. For secure communication among sensors, secret keys must be established between them. Recently, several...
147
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
154
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
162
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
147
click to vote
EJC
2009
15 years 3 months ago
2009
The starting point of this paper is the external surface of a word form, for example the agent-external acoustic perturbations constituting a language sign in speech or the dots o...