537 search results - page 94 / 108 » A threat-driven approach to modeling and verifying secure so... |
170
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
157
click to vote
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
156
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
149
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
197
click to vote
OOPSLA
2007
Springer
16 years 6 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...