8083 search results - page 278 / 1617 » A Formalization of Software Architecture |
192
click to vote
SEUS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
181
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
168
click to vote
GI
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
178
click to vote
ECSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
194
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...