4872 search results - page 202 / 975 » CBR for Modeling Complex Systems |
126
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
161
click to vote
MOBIHOC
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of estimating the remaining energy of a node battery in wireless sensor networks. To solve this issue, we provide an on-line battery model that requires lim...
150
Voted
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
141
Voted
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
155
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...