8377 search results - page 274 / 1676 » Scenarios - Introduction |
238
click to vote
SCESM
2006
ACM
16 years 1 months 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 ...
191
click to vote
ICAC
2005
IEEE
16 years 1 months 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...
171
click to vote
ICMCS
2005
IEEE
16 years 1 months 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...
189
click to vote
ASM
2005
ASM
16 years 29 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...
197
click to vote
CAISE
2005
Springer
16 years 29 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...