In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
: This paper focuses on how the information technologies can improve the management of small construction projects. First, the specific situation of the construction industry is pr...
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...
Memory and communication architectures have a significant impact on the cost, performance, and time-to-market of complex multi-processor system-on-chip (MPSoC) designs. The memory...
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...