561 search results - page 47 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
159
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
171
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
198
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
166
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...
165
click to vote
WICSA
2004
15 years 7 months ago
2004
Research domains such as active networks, ad-hoc networks, ubiquitous computing, pervasive computing, grid computing, and sensor networks, clearly show that computer networks will...