2695 search results - page 331 / 539 » A Visual Approach to Validating System Level Designs |
175
click to vote
AIEDU
2005
15 years 6 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
171
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
181
click to vote
NSDI
2008
15 years 9 months ago
2008
Critical network management applications increasingly demand fine-grained flow level measurements. However, current flow monitoring solutions are inadequate for many of these appl...
222
click to vote
IADIS
2004
15 years 8 months ago
2004
M-payments, which refer to payments over a mobile device, have not taken off as fast as predicted. Their slow adoption rates raise many questions about what drives consumer behavi...