848 search results - page 27 / 170 » A Formal Monitoring-Based Framework for Software Development... |
KBSE
2009
IEEE
14 years 3 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...
DGO
2003
13 years 10 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...
CCS
2005
ACM
14 years 2 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...
SFM
2009
Springer
14 years 3 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...
ICFCA
2007
Springer
14 years 19 days 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 ...