1954 search results - page 186 / 391 » A requirements analysis for videogame design support tools |
207
click to vote
MINENET
2006
ACM
16 years 15 days ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
172
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
178
click to vote
CAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
188
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
177
click to vote
ESORICS
2007
Springer
16 years 22 days ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...