1668 search results - page 176 / 334 » Towards a Design Methodology for Decision Support Systems |
216
click to vote
SDL
2007
15 years 7 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...
198
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
149
click to vote
CCE
2004
15 years 6 months ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
185
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
The recent emergence of network interface cards (NICs) with diverse hardware features for I/O virtualization poses an important challenge for virtual machine environments, particu...
163
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...