883 search results - page 16 / 177 » The RETOS operating system: kernel, tools and applications |
ICEIS
2002
IEEE
14 years 1 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
SMARTNET
2000
13 years 10 months ago
2000
: One of the keys to success for applications of mobile and/or intelligent agents in large-scale open systems such as Internet is the ability of heterogeneous agents to cooperate a...
FLAIRS
2000
13 years 10 months ago
2000
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
SIGOPSE
2004
ACM
14 years 2 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
ISVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
FPGAs have been used for prototyping of ASICs, for low-volume ASIC replacement and for systems requiring in-field hardware upgrades. However, the potential to use dynamic reconfig...