5961 search results - page 684 / 1193 » Design Science and Software Engineering |
208
click to vote
FASE
2010
Springer
15 years 4 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
163
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
191
click to vote
VLSI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Microprocessor architectures have become increasingly power limited in recent years. Currently power and thermal envelopes dictate peak performance limits more than any o...
201
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
234
click to vote
CCR
2011
15 years 1 months ago
2011
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...