621 search results - page 124 / 125 » Automatic Generation of Transformations for Software Process... |
TASE
2011
IEEE
12 years 12 months ago
2011
IEEE
— Surface flattening has numerous applications in sheet manufacturing industries, such as garment industry, shoe industry, toy industry, furniture industry and ship industry. Mo...
SP
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
EON
2008
13 years 6 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
ICRA
2010
IEEE
13 years 2 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...