1540 search results - page 69 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
141
Voted
ISTA
2004
15 years 5 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
149
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
113
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
World Wide Web is one of the most important applications on the Internet. Net surfers can browse the Web pages by tracing the links embedded in the hypertexts. However, one will be...
133
Voted
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
144
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a distributed compression approach for multi-view images, where each camera efficiently encodes its visual information locally without requiring any col...