Sciweavers

3602 search results - page 12 / 721
» Isn't It About Time
Sort
View
CARTOGRAPHICA
2010
59views more  CARTOGRAPHICA 2010»
13 years 5 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
SIGUCCS
2003
ACM
14 years 24 days 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
CSFW
2003
IEEE
14 years 25 days 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
FUIN
2008
147views more  FUIN 2008»
13 years 7 months 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
FOSSACS
2004
Springer
14 years 28 days 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