2806 search results - page 25 / 562 » BML and Related Tools |
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...
EMISA
2004
Springer
14 years 24 days ago
2004
Springer
: In a design project, the actors cooperate to achieve a same objective, which can be the production of a document, a manufactured product, a plane or a building. The role of a coo...
ACSAC
2003
IEEE
14 years 21 days ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
WOA
2001
13 years 8 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...