1071 search results - page 138 / 215 » Theories of Automatic Structures and Their Complexity |
ECBS
2010
IEEE
14 years 15 days ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
KBSE
1999
IEEE
14 years 14 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
BCSHCI
2008
13 years 9 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
TKDE
2010
13 years 6 months ago
2010
—Long time-series datasets are common in many domains, especially scientific domains. Applications in these fields often require comparing trajectories using similarity measure...
JDCTA
2010
13 years 3 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...