5550 search results - page 279 / 1110 » Different Approaches to Proof Systems |
183
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
177
click to vote
JCP
2008
15 years 6 months ago
2008
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
149
click to vote
IGPL
2010
15 years 5 months ago
2010
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
168
click to vote
PDPTA
2010
15 years 4 months ago
2010
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
180
click to vote
TITS
2010
15 years 1 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...