1499 search results - page 274 / 300 » A Software Architectural Approach to Security by Design |
VLSID
2003
IEEE
16 years 5 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...
107
click to vote
AOSE
2005
Springer
15 years 5 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
MDAFA
2004
Springer
15 years 5 months ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
140
click to vote
DAIS
2009
15 years 27 days ago
2009
As peer-to-peer systems are evolving from simplistic application specific overlays to middleware platforms hosting a range of potential applications it has become evident that incr...