2255 search results - page 302 / 451 » High Assurance Software Systems |
191
click to vote
PASTE
2005
ACM
16 years 1 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
169
click to vote
ROBOCUP
2005
Springer
15 years 12 months ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
163
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
163
click to vote
LSO
2001
Springer
15 years 11 months ago
2001
Springer
Knowledge is a vital component for organisational growth and data mining provides the technological basis for automated knowledge elicitation from data sources. The emergence of Ap...
166
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...