1792 search results - page 85 / 359 » Requirements Capture with RCAT |
165
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
177
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
175
click to vote
DEXAW
2006
IEEE
16 years 11 days ago
2006
IEEE
In order for ontologies to be broadly useful to the scientific community, they need to capture knowledge and expertise of multiple experts and research groups. Consequently, the ...
145
click to vote
ICMCS
2006
IEEE
16 years 10 days ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
253
click to vote
ICRA
2006
IEEE
16 years 10 days ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...