2025 search results - page 261 / 405 » Software performance modelling using PEPA nets |
106
click to vote
IUI
2000
ACM
15 years 7 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
232
click to vote
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
136
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
115
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
117
click to vote
ESE
2002
15 years 3 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...