1268 search results - page 160 / 254 » Verifying distributed systems: the operational approach |
EDOC
2007
IEEE
14 years 5 months ago
2007
IEEE
To align an IT system with an organization’s needs, it is necessary to understand the organization’s position within its environment as well as its internal configuration. In ...
EDOC
2006
IEEE
14 years 5 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Information systems now form the backbone of nearly every government and private system. Increasingly these systems are networked together allowing for distributed operations, sha...
SDL
2007
14 years 18 days 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...
MM
2004
ACM
14 years 4 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...