3828 search results - page 315 / 766 » Proof-Based System Engineering Using a Virtual System Model |
183
click to vote
ITS
2004
Springer
16 years 12 hour ago
2004
Springer
Most of the prior descriptions of the important relationships in Intelligent Tutoring System (ITS) projects have focused on the relationships involved in their use in classrooms, ...
179
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
200
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
182
Voted
AMOST
2005
ACM
16 years 6 days ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
129
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, a novel nonlinear Volterra equalizer is presented. We define a framework for nonlinear second-order Volterra models, which is applicable to different applications in...