Sciweavers

706 search results - page 73 / 142
» Design Recovery of a Two Level System
Sort
View
ISORC
2002
IEEE
15 years 8 months ago
Handling Aperiodic Tasks in Diverse Real-Time Systems via Plug-Ins
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
Tomas Lennvall, Gerhard Fohler, Björn Lindber...
127
Voted
ENTCS
2002
111views more  ENTCS 2002»
15 years 3 months ago
Comparing Meseguer's Rewriting Logic with the Logic CRWL
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...
Miguel Palomino Tarjuelo
COMPSAC
2005
IEEE
15 years 9 months ago
Agent Oriented Programming Based on SLABS
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 ...
Ji Wang, Rui Shen, Hong Zhu
FDL
2007
IEEE
15 years 9 months ago
Mapping Actor-Oriented Models to TLM Architectures
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
Jens Gladigau, Christian Haubelt, Bernhard Niemann...
110
Voted
HICSS
2008
IEEE
125views Biometrics» more  HICSS 2008»
15 years 9 months ago
The Impact of Virtual Technologies on Organizational Knowledge Creation: An Empirical Study
– 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-...
Antonio Vaccaro, Francisco Veloso, Stefano Brusoni