68 search results - page 1 / 14 » Combining State-Based and Scenario-Based Approaches in Model... |
CMSB
2004
Springer
14 years 2 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
RE
1999
Springer
14 years 1 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
ARCS
2012
Springer
12 years 5 months ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
The future of eGovernment is very uncertain and requires to be approached by depicting different scenario in which a wide range of contextual factors, such as social, cultural, in...