22698 search results - page 4009 / 4540 » Modeling in Software Engineering |
242
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
198
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and Grid applications. Current ...
186
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present a folksonomy-based approach for implicit user intent extraction during a Web search process. We present a number of result re-ranking techniques based on...
181
click to vote
HOPL
2007
15 years 11 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
185
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...