848 search results - page 27 / 170 » A Formal Monitoring-Based Framework for Software Development... |
133
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
129
Voted
DGO
2003
15 years 5 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
108
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
127
Voted
SFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
153
Voted
ICFCA
2007
Springer
15 years 7 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 ...