2687 search results - page 357 / 538 » Formal Analysis of PKCS |
205
click to vote
CMSB
2007
Springer
16 years 21 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
171
click to vote
ECOOP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
151
click to vote
ER
2007
Springer
16 years 21 days ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
155
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
169
click to vote
EVOW
2007
Springer
16 years 21 days ago
2007
Springer
The Shortest Common Supersequence Problem (SCSP) is a well-known hard combinatorial optimization problem that formalizes many real world problems. This paper presents a novel rando...