2935 search results - page 409 / 587 » An Integrated Approach to High Integrity Software Verificati... |
168
click to vote
SIGSOFT
2006
ACM
16 years 6 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
169
Voted
FLAIRS
2007
15 years 8 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
179
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Most object tracking approaches either assume that the number of objects is constant, or that information about object existence is provided by some external source. Here, we show...
228
click to vote
SIGMOD
2006
ACM
16 years 6 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 ...
171
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...