2135 search results - page 306 / 427 » Dependability Analysis of CAN Networks: An Emulation-Based A... |
150
click to vote
SMI
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose a new topological data structure for representing a set of polygonal curves embedded in a meshed surface. In this embedding, the vertices of the curve do not necessaril...
174
click to vote
CLEF
2005
Springer
16 years 22 hour ago
2005
Springer
This year we participated at 4 Question Answering tasks at CLEF: the Italian monolingual (I), Italian-English (I/E), Bulgarian monolingual (B), and Bulgarian-English (B/E) bilingu...
225
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
237
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
183
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...