875 search results - page 97 / 175 » Specification Modules for Methodical System Development |
105
click to vote
DESRIST
2009
Springer
15 years 7 months ago
2009
Springer
This paper proposes and evaluates a soft systems approach to design science research. Soft Design Science provides an approach to the development of new ways to improve human orga...
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
112
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
129
click to vote
ECTEL
2006
Springer
15 years 6 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
110
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...