170 search results - page 27 / 34 » Industrial Strength Software Development Environments |
DLOG
2006
13 years 9 months ago
2006
Highly optimized reasoning support for Description Logics (DLs) has been developed during the past years. This paper presents our efforts to develop a reasoner suitable for mobile ...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
LCTRTS
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
VRML
2004
ACM
14 years 1 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...