3828 search results - page 296 / 766 » Proof-Based System Engineering Using a Virtual System Model |
189
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
High-speed serial network interfaces are gaining wide use in connecting multiple processors and peripherals in modern embedded systems, thanks to their size advantage and power ef...
132
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
181
click to vote
TREC
1998
15 years 8 months ago
1998
In this report we describe our model of dynamic hypertext and how the ClickIR system uses this model to assist users in interactive search. The system was used in both the ad hoc ...
196
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
173
click to vote
KES
2005
Springer
16 years 3 days ago
2005
Springer
: The aim of this study was to demonstrate the effectiveness of an adaptive neuro-fuzzy inference system (ANFIS) for the prediction of diesel spray penetration length in the cylind...