3828 search results - page 623 / 766 » Proof-Based System Engineering Using a Virtual System Model |
177
Voted
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
253
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
138
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
135
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
141
click to vote
IWFM
1998
15 years 6 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...