8627 search results - page 1619 / 1726 » Software Engineering Using RATionale |
119
click to vote
ANCS
2006
ACM
15 years 8 months ago
2006
ACM
As Intrusion Detection Systems (IDS) utilize more complex syntax to efficiently describe complex attacks, their processing requirements increase rapidly. Hardware and, even more, ...
124
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
144
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
105
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Automatically assessing the value of bioavailability from the chemical structure of a molecule is a very important issue in biomedicine and pharmacology. In this paper, we present...
146
click to vote
UML
1997
Springer
15 years 8 months ago
1997
Springer
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...