7064 search results - page 67 / 1413 » From States to Histories |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
ICDCSW
2006
IEEE
14 years 4 months ago
2006
IEEE
Locks are mechanical fastening devices used on various kinds of objects like doors and vehicles, and they can be released using a certain type of key. They have a long history, fr...
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
DEXAW
2003
IEEE
14 years 3 months ago
2003
IEEE
In order to create, share and improve knowledge on business processes, humans need a common, readable and preferably visual notation. So far, a lot of effort has been put into vis...