1054 search results - page 160 / 211 » From a Verified Kernel towards Verified Systems |
224
click to vote
LCPC
1992
Springer
15 years 10 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
165
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
150
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
175
click to vote
ACNS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...
196
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...