3828 search results - page 658 / 766 » Proof-Based System Engineering Using a Virtual System Model |
129
click to vote
ENTCS
2007
15 years 2 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
129
click to vote
WSC
1997
15 years 3 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
150
click to vote
SI3D
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
115
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...
137
click to vote
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...