1432 search results - page 186 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
116
click to vote
DKE
2000
15 years 3 months ago
2000
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
110
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
124
click to vote
IJCAI
2001
15 years 5 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
131
click to vote
CN
2006
15 years 4 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
139
click to vote
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...