4609 search results - page 728 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
153
click to vote
IROS
2007
IEEE
16 years 24 days ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
153
click to vote
IV
2007
IEEE
16 years 24 days ago
2007
IEEE
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...
146
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
151
click to vote
RTSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...