2119 search results - page 106 / 424 » Structure-Preserving Model Reduction |
118
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
141
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
INTERSPEECH
2010
14 years 9 months ago
2010
In a previous paper we proposed Web-based language models relying on the possibility theory. These models explicitly represent the possibility of word sequences. In this paper we ...
103
click to vote
ICCAD
2004
IEEE
15 years 12 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
108
Voted
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...