2502 search results - page 114 / 501 » Using probabilistic model checking in systems biology |
115
Voted
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
137
Voted
ISW
2004
Springer
15 years 9 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
130
Voted
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
230
Voted
AR
2011
14 years 10 months ago
2011
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
141
Voted
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...