Sciweavers

1156 search results - page 13 / 232
» Compositional Methods for Information-Hiding
Sort
View
152
Voted
JETAI
2000
96views more  JETAI 2000»
15 years 7 months ago
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Rolan...
153
Voted
DKE
1999
90views more  DKE 1999»
15 years 7 months ago
Temporal Semantics of Compositional Task Models and Problem Solving Methods
Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
137
Voted
TOCL
2010
56views more  TOCL 2010»
15 years 5 months ago
On the completeness of compositional reasoning methods
Kedar S. Namjoshi, Richard J. Trefler
AAAI
2006
15 years 8 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
147
Voted
ISCAS
2007
IEEE
123views Hardware» more  ISCAS 2007»
16 years 1 months ago
Process-Independent Resistor Temperature-Coefficients using Series/Parallel and Parallel/Series Composite Resistors
—this paper introduces series/parallel and parallel/series composite resistor topologies. These topologies allow one to design a temperature coefficient that is insensitive to pr...
B. Robert Gregoire, Un-Ku Moon