1516 search results - page 170 / 304 » Trends in Software Verification |
ACMICEC
2005
ACM
15 years 3 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
DAC
1999
ACM
15 years 11 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Software can now track which computer applications and documents you use. This provides us with the potential to help end-users recall past activities for tasks such as status rep...
145
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development ...