3765 search results - page 41 / 753 » Formal Methods for Systems Engineering Behavior Models |
121
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
120
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
The phenomenon of sponsored search advertising is gaining ground as the largest source of revenues for search engines. Firms across different industries have are beginning to adop...
125
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
128
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
117
click to vote
WISA
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...