6174 search results - page 1039 / 1235 » The language of social software |
154
click to vote
FDL
2005
IEEE
16 years 4 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
164
click to vote
HAPTICS
2005
IEEE
16 years 4 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
193
click to vote
ISORC
2005
IEEE
16 years 3 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
158
click to vote
ITCC
2005
IEEE
16 years 3 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
163
click to vote
WORDS
2005
IEEE
16 years 2 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...