5353 search results - page 860 / 1071 » Modelling Contexts in the Or-BAC Model |
200
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
186
Voted
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
Game theoretic modeling and equilibrium analysis of congestion games have provided insights in the performance of Internet congestion control, road transportation networks, etc. D...
192
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
176
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
190
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...