Sciweavers

3653 search results - page 113 / 731
» On Recognizable Timed Languages
Sort
View
RTCSA
2003
IEEE
15 years 3 months ago
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
AAAI
1994
14 years 11 months ago
The Relationship between Architectures and Example-Retrieval Times
This paper proposes a method to find the most suitable architecture for a given response time requirement for Example-Retrieval (ER), which searches for the best match from a bulk...
Eiichiro Sumita, Naoya Nisiyama, Hitoshi Iida
ENTCS
2006
231views more  ENTCS 2006»
14 years 10 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
SCP
2010
174views more  SCP 2010»
14 years 4 months ago
Aspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
Pascal Fradet, Stéphane Hong Tuan Ha
LREC
2010
442views Education» more  LREC 2010»
14 years 11 months ago
Medefaidrin: Resources Documenting the Birth and Death Language Life-cycle
Language resources are typically defined and created for application in speech technology contexts, but the documentation of languages which are unlikely ever to be provided with ...
Dafydd Gibbon, Moses Ekpenyong, Eno-Abasi Urua