828 search results - page 63 / 166 » Global Software Enterpreneurship |
SEDE
2010
14 years 9 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
ICSM
2009
IEEE
14 years 9 months ago
2009
IEEE
Field testing of a software application prior to general release is an important and essential quality assurance step. Field testing helps identify unforeseen problems. Extensive ...
114
click to vote
TCBB
2011
14 years 6 months ago
2011
—We study the problem of merging genetic maps, when the individual genetic maps are given as directed acyclic graphs. The computational problem is to build a consensus map, which...
108
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...