2687 search results - page 295 / 538 » Formal Analysis of PKCS |
180
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
171
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
184
click to vote
ADHOCNOW
2008
Springer
16 years 1 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
163
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
224
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...