3399 search results - page 182 / 680 » Requirements Development in Scenario-Based Design |
165
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
203
click to vote
ACSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
150
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We have developed the first hardware and software (intellectual property) metering scheme that enables reliable low overhead proofs for the number of manufactured parts a...
160
click to vote
CODES
1997
IEEE
15 years 10 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
187
click to vote
MTA
2006
15 years 6 months ago
2006
With the rapid emergence of Web services, more and more Web services are published on the Internet as resources for Web application development. There may exist some relationships ...