4693 search results - page 409 / 939 » Verifying Hybrid Systems |
177
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we debut Photohelix, a novel interactive system for browsing, sorting and sharing digital images. We present our design rationale for such a system and introduce Pho...
174
Voted
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
162
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— To solve systems of linear matrix equations A1XB1 = F1 and A2XB2 = F2, we present iterative algorithms to get the solutions. For any initial value, we prove that the iterative ...
208
click to vote
BPM
2000
Springer
15 years 10 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
172
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...