4460 search results - page 467 / 892 » Formal methods for interactive systems |
166
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
166
click to vote
WSC
2008
15 years 9 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
212
click to vote
DBSEC
2001
15 years 8 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
197
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
194
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...