2523 search results - page 178 / 505 » Correct Development of Embedded Systems |
108
click to vote
INFORMATICALT
2008
15 years 2 months ago
2008
This paper is concerned with the problem of image analysis based detection of local defects embedded in particleboard surfaces. Though simple, but efficient technique developed is ...
108
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
147
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
113
click to vote
RTAS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
151
click to vote
RTAS
2010
IEEE
15 years 24 days ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...