Sciweavers

5186 search results - page 786 / 1038
» Embedded Systems
Sort
View
DESRIST
2009
Springer
142views Education» more  DESRIST 2009»
15 years 10 months ago
Design alternatives for the evaluation of design science research artifacts
Within a consideration of cost effectiveness the evaluation of design science research artifacts is of major importance. In the past, a plenitude of approaches has been developed ...
Anne Cleven, Philipp Gubler, Kai M. Hüner
OOIS
2001
Springer
15 years 10 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 10 months ago
A Generic Architecture for On-Chip Packet-Switched Interconnections
This paper presents an architectural study of a scalable system-level interconnection template. We explain why the shared bus, which is today's dominant template, will not me...
Pierre Guerrier, Alain Greiner
BIRTHDAY
2000
Springer
15 years 10 months ago
Discrete time process algebra with silent step
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Renie...
CP
2000
Springer
15 years 10 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth