2030 search results - page 294 / 406 » Checklists for Software Engineering Case Study Research |
SDL
2007
13 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
USS
2008
13 years 10 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
WECWIS
2006
IEEE
14 years 1 months ago
2006
IEEE
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...