561 search results - page 39 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
132
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
183
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
144
click to vote
CSSE
2004
IEEE
15 years 5 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
169
click to vote
ICST
2008
IEEE
16 years 13 days ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
169
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...