1005 search results - page 80 / 201 » Patterns for Refinement Automation |
127
click to vote
ICPR
2010
IEEE
16 years 23 days 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...
160
Voted
ICST
2008
IEEE
16 years 17 days 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...
159
click to vote
ICSOC
2007
Springer
16 years 9 days 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...
176
Voted
ASPDAC
1998
ACM
15 years 10 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...
281
Voted
GIS
2009
ACM
16 years 7 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...