2859 search results - page 102 / 572 » A Programming Environment for Bousi-Prolog |
121
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
163
Voted
AUTOMATICA
2007
15 years 4 months ago
2007
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
128
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Heterogeneous distributed environments or grid environments provide large computing resources for the execution of large scientific applications. The effective use of those plat...
128
Voted
SEE
1989
Springer
15 years 8 months ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
135
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...