1005 search results - page 80 / 201 » Patterns for Refinement Automation |
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
ASPDAC
1998
ACM
13 years 12 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
GIS
2009
ACM
14 years 8 months ago
2009
ACM
With the recent advancements and wide usage of location detection devices, large quantities of data are collected by GPS and cellular technologies in the form of trajectories. Whi...