7209 search results - page 241 / 1442 » Software Engineering for Multi-Agent Systems |
AC
2011
Springer
13 years 5 months ago
2011
Springer
Traditionally, the development of computing systems has been focused on performance improvements driven by the demand of applications from consumer, scientific, and business domai...
SIAMCO
2011
13 years 5 months ago
2011
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
WADT
2004
Springer
14 years 4 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
EDOC
2007
IEEE
14 years 5 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
ISSTA
2012
ACM
12 years 1 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...