2705 search results - page 248 / 541 » Formal Ontology for Subject |
GLVLSI
2009
IEEE
14 years 3 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Multi-agent systems are an attractive approach to modeling systems of interacting entities, but in some cases mathematical models of these systems can offer complementary benefits...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...