Sciweavers

828 search results - page 123 / 166
» A programming model for active documents
Sort
View
EH
2005
IEEE
171views Hardware» more  EH 2005»
14 years 1 months ago
Implementation Results for a Fault-Tolerant Multicellular Architecture Inspired by Endocrine Communication
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
Andrew J. Greensted, Andy M. Tyrrell
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 29 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
CHI
1996
ACM
13 years 12 months ago
Silk from a Sow's Ear: Extracting Usable Structures from the Web
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
Peter Pirolli, James E. Pitkow, Ramana Rao
CSCW
1996
ACM
13 years 12 months ago
Hypermedia Structures and the Division of Labor in Meeting Room Collaboration
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
Gloria Mark, Jörg M. Haake, Norbert A. Streit...
ACMICEC
2008
ACM
276views ECommerce» more  ACMICEC 2008»
13 years 9 months ago
A Bayesian network for IT governance performance prediction
The goal of IT governance is not only to achieve internal efficiency in an IT organization, but also to support IT's role as a business enabler. The latter is here denoted IT...
Mårten Simonsson, Robert Lagerström, Po...