4211 search results - page 565 / 843 » A formal approach to MASQ |
179
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
146
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
153
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
208
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
158
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...