Sciweavers

4346 search results - page 146 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
QOSA
2007
Springer
15 years 10 months ago
A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
Roshanak Roshandel, Nenad Medvidovic, Leana Golubc...
WWW
2007
ACM
16 years 4 months ago
The complex dynamics of collaborative tagging
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...
Harry Halpin, Valentin Robu, Hana Shepherd
109
Voted
CHI
1995
ACM
15 years 7 months ago
Dinosaur Input Device
We present a system for animating an articulate figure using a physical skeleton, or armature, connected to a workstation. The skeleton is covered with sensors that monitor the o...
Brian Knep, Craig Hayes, Rick Sayre, Tom Williams
114
Voted
TGC
2005
Springer
15 years 9 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
ENTCS
2007
119views more  ENTCS 2007»
15 years 3 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan