1200 search results - page 92 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
184
Voted
ISOLA
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
226
click to vote
LNCS
1993
15 years 11 months ago
1993
– In the past few years considerable demand for user oriented multimedia information systems has developed. These systems must provide a rich set of functionality so that new, co...
187
Voted
EDOC
2005
IEEE
16 years 1 months ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
229
click to vote
SACMAT
2010
ACM
16 years 8 days ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
216
Voted
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...