3281 search results - page 247 / 657 » An Approach to use Executable Models for Testing |
129
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
119
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...
146
click to vote
SDL
2007
15 years 5 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
130
click to vote
ESSOS
2010
Springer
16 years 20 days ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
110
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...