783 search results - page 43 / 157 » The TextPro Tool Suite |
FPL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Layout tools for FPGAs can typically be run in two different modes: non-timing-driven and timing-driven. Non-timing-driven mode produces a solution quickly, without consi...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
ESSOS
2010
Springer
14 years 5 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This demonstration concentrates on eServices (supporting electronic services) for Virtual Organization (VO) management support. The eServices are provided by the VOM toolkit (a su...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
Ontologies form the cornerstone of the Semantic Web and are intended to help researchers to analyze and share knowledge, and as more ontologies are being introduced, it is difficu...