3579 search results - page 200 / 716 » Transformations of software models into performance models |
128
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
126
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
132
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
112
click to vote
AVI
2008
15 years 7 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...
136
click to vote
WCE
2007
15 years 6 months ago
2007
—Partial Differential Equations (PDEs) play an essential role in modeling real world problems. The broad field of modeling such systems has drawn the researchers’ attention for...