3799 search results - page 560 / 760 » An Engineering Approach to Formal Methods |
131
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
175
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
195
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In microblogging services such as Twitter, the users may become overwhelmed by the raw data. One solution to this problem is the classification of short text messages. As short te...
175
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we pose a novel research problem for machine learning that involves constructing a process model from continuous data. We claim that casting learned knowledge in ter...