814 search results - page 105 / 163 » Generic Model Abstraction from Examples |
143
Voted
WSC
2000
15 years 4 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
155
click to vote
PERVASIVE
2010
Springer
15 years 1 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
131
click to vote
PROVSEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
138
click to vote
AEI
2006
15 years 3 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
128
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...