970 search results - page 76 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
The study and analysis of RFID antenna positioning is important for supply chain large-scale deployment. In a dense reader environment, there will be multiples of RFID readers and...
ICECCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
ISORC
2005
IEEE
14 years 1 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...
ACL
2003
13 years 9 months ago
2003
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...