848 search results - page 81 / 170 » A Formal Monitoring-Based Framework for Software Development... |
PPPJ
2003
ACM
14 years 2 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
TASLP
2010
13 years 3 months ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
RE
2008
Springer
13 years 8 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...