2877 search results - page 409 / 576 » Complex Decision Making Processes: their Modelling and Suppo... |
SIGMETRICS
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
TAOSD
2010
13 years 7 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
IANDC
2011
13 years 4 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
EMSOFT
2006
Springer
14 years 24 days ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...