3724 search results - page 493 / 745 » Timed regular expressions |
169
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
163
click to vote
ACMSE
2005
ACM
16 years 6 days ago
2005
ACM
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
161
click to vote
ASPDAC
2005
ACM
16 years 6 days ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
195
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
159
Voted
CONTEXT
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we describe an exploratory study to develop a model of visual attention that could aid automatic interpretation of exophors in situated dialog. The model is intended...