706 search results - page 73 / 142 » Design Recovery of a Two Level System |
170
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
157
click to vote
ENTCS
2002
15 years 5 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
149
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
161
click to vote
FDL
2007
IEEE
16 years 10 days ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
135
click to vote
HICSS
2008
IEEE
16 years 14 days ago
2008
IEEE
– This study examines the processes of organizational knowledge creation in two highly virtualized teams, one involved in the design of a small city car and the second in the re-...