1252 search results - page 149 / 251 » Complex Systems and Agent-Oriented Software Engineering |
107
click to vote
ICSE
2008
IEEE-ACM
16 years 23 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
ICESS
2005
Springer
15 years 6 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
109
Voted
IESA
2007
15 years 2 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Software architectures, like complex designs in any field, embody tradeoffs made by the designers. However, these tradeoffs are not always made explicitly by the designers and the...
128
click to vote
RE
2001
Springer
15 years 5 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...