8377 search results - page 274 / 1676 » Scenarios - Introduction |
200
click to vote
SCESM
2006
ACM
16 years 17 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
165
click to vote
ICAC
2005
IEEE
16 years 6 days ago
2005
IEEE
FeedbackFlow is a framework that implements a general closed control loop of planning – execution result validation – re-planning, and generates workflows. In this article, we...
157
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes a counter scheme that uses hash functions to count how many times the user is allowed to play protected content in a DRM-enabled player. The proposed basic sc...
173
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
169
Voted
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...