5409 search results - page 401 / 1082 » Basic Observables for Processes |
229
click to vote
FATES
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
220
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
232
click to vote
FOSAD
2000
Springer
15 years 11 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
180
click to vote
EURODAC
1995
IEEE
15 years 11 months ago
1995
IEEE
Because it costs to solve ElectroMagnetic Compatibility (EMC) problems late in the development process, new methods have to predict radiated electromagnetic emissions at the desig...
198
click to vote
EURODAC
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...