2192 search results - page 214 / 439 » Embedded function composition |
86
Voted
PROFES
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...
96
Voted
PADS
2000
ACM
15 years 5 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
87
Voted
ICCD
1993
IEEE
15 years 4 months ago
1993
IEEE
In this paper the design of a high-speed cryptographic coprocessor is presented. This coprocessor is named Subterranean and can be used for both cryptographic pseudorandom sequenc...
118
Voted
ICALP
1994
Springer
15 years 4 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
92
Voted
DEBS
2010
ACM
15 years 4 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...