715 search results - page 94 / 143 » Application of Formal Methods to the Development of a Softwa... |
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
AIME
2007
Springer
14 years 3 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...