1809 search results - page 233 / 362 » Software Model Checking Using Linear Constraints |
109
Voted
SACMAT
2010
ACM
15 years 7 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
100
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
108
Voted
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
Digital images have been used in growing number of applications from law enforcement and surveillance, to medical diagnosis and consumer photography. With such widespread populari...
107
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
MKWI
2008
15 years 3 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...