2813 search results - page 63 / 563 » Formalizing Architectural Connection |
116
click to vote
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
Cellular networks, e.g. UMTS, provide voice and data services to mobile users. In hot spots where users need high speed data services operators can deploy low-cost high-speed WLAN...
121
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
121
Voted
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
124
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
152
Voted
SDL
2007
15 years 3 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...