1005 search results - page 70 / 201 » Patterns for Refinement Automation |
IEAAIE
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
PERCOM
2011
ACM
12 years 11 months ago
2011
ACM
—The need to prolong the ability for older adults to live at home independently has become an important area of smart environment research. In this proposal, we demonstrate a web...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
NLDB
2000
Springer
13 years 11 months ago
2000
Springer
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
SE
2007
13 years 9 months ago
2007
Abstract: Contemporary business applications often employ a process layer in order to coordinate automated activities. One option to build such a layer is to use a workflow manage...