3077 search results - page 249 / 616 » Research issues |
216
click to vote
IJIT
2004
15 years 9 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
204
click to vote
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
User-centered security has been identified as a grand challenge in information security and assurance. It is on the brink of becoming an established subdomain of both security and...
250
click to vote
AI
2011
Springer
15 years 2 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
200
click to vote
PIMRC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—Wireless mesh networks are considered as a potential attractive alternative to provide broadband access to users. They have been studied extensively by the research comm...
187
click to vote
CCGRID
2005
IEEE
16 years 1 months ago
2005
IEEE
With the growing popularity of cluster architectures in datacenters and the sophistication of computer attacks, the design of highly secure clusters has recently emerged as a crit...