1432 search results - page 133 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
143
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
161
Voted
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
134
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
150
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
148
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
An increasing level of cooperation between public administrations nowadays on national, regional and local level requires methods to develop interoperable EGovernment systems and ...