Sciweavers

2847 search results - page 264 / 570
» The Context-Dependent Role Model
Sort
View
SPIN
2005
Springer
16 years 1 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
WWW
2003
ACM
16 years 24 days ago
Conceptual View Integration for Audience Driven Web Design
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. We present a ne...
Olga De Troyer, Peter Plessers, Sven Casteleyn
COSIT
2009
Springer
144views GIS» more  COSIT 2009»
16 years 6 days ago
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
Clare Davies
BIRTHDAY
2000
Springer
15 years 12 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
198
Voted
DILS
2007
Springer
15 years 11 months ago
Accelerating Disease Gene Identification Through Integrated SNP Data Analysis
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
Paolo Missier, Suzanne M. Embury, Cornelia Hedeler...