Sciweavers

1156 search results - page 13 / 232
» Compositional Methods for Information-Hiding
Sort
View
101
Voted
JETAI
2000
96views more  JETAI 2000»
15 years 3 months ago
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Rolan...
DKE
1999
90views more  DKE 1999»
15 years 3 months ago
Temporal Semantics of Compositional Task Models and Problem Solving Methods
Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
100
Voted
TOCL
2010
56views more  TOCL 2010»
15 years 2 months ago
On the completeness of compositional reasoning methods
Kedar S. Namjoshi, Richard J. Trefler
117
Voted
AAAI
2006
15 years 5 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
ISCAS
2007
IEEE
123views Hardware» more  ISCAS 2007»
15 years 10 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