Sciweavers

3602 search results - page 12 / 721
» Isn't It About Time
Sort
View
96
Voted
CARTOGRAPHICA
2010
59views more  CARTOGRAPHICA 2010»
14 years 10 months ago
Lynch Debord: About Two Psychogeographies
Psychogeography emerged entirely independently in Paris in the 1950s and in the Boston area in the 1950s and 1960s, in the wildly disparate practices of the Situationists and of p...
Denis Wood
89
Voted
SIGUCCS
2003
ACM
15 years 6 months ago
Deep in the heart of client services: it's not just about hardware and software
“Client Services”, “User Services”, “Customer Service”: whatever we call it at our various colleges and universities, it’s not just about fixing hardware and softwar...
Cynthia A. Murnan
107
Voted
CSFW
2003
IEEE
15 years 6 months ago
Using First-Order Logic to Reason about Policies
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
Joseph Y. Halpern, Vicky Weissman
116
Voted
FUIN
2008
147views more  FUIN 2008»
15 years 23 days ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
93
Voted
FOSSACS
2004
Springer
15 years 6 months ago
Reasoning about Dynamic Policies
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
Riccardo Pucella, Vicky Weissman