3828 search results - page 581 / 766 » Proof-Based System Engineering Using a Virtual System Model |
183
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
183
click to vote
HIS
2007
15 years 7 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
143
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
141
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
179
Voted
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...