848 search results - page 69 / 170 » A Formal Monitoring-Based Framework for Software Development... |
114
Voted
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
141
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
152
Voted
ECOOP
1994
Springer
15 years 7 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
165
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Mistral is an open source software for biometrics applications. This software, based on the well-known UBM/GMM approach includes also the latest speaker recognition developments s...
146
Voted
VMCAI
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...