Sciweavers

1709 search results - page 74 / 342
» Precise Modeling of Design Patterns
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 12 days ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
GISCIENCE
2008
Springer
140views GIS» more  GISCIENCE 2008»
15 years 3 months ago
Modeling Herds and Their Evolvements from Trajectory Data
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...
Yan Huang, Cai Chen, Pinliang Dong
BC
2002
87views more  BC 2002»
15 years 2 months ago
Perception-action coupling model for human locomotor pointing
Abstract. How do humans achieve the precise positioning of the feet during walking, for example, to reach the first step of a stairway? We addressed this question at the visuomotor...
A. de Rugy, G. Taga, G. Montagne, M. J. Buekers, M...
147
Voted
CIKM
2011
Springer
14 years 2 months ago
Estimating selectivity for joined RDF triple patterns
A fundamental problem related to RDF query processing is selectivity estimation, which is crucial to query optimization for determining a join order of RDF triple patterns. In thi...
Hai Huang 0003, Chengfei Liu
AHS
2006
IEEE
113views Hardware» more  AHS 2006»
15 years 6 months ago
A Honeycomb Development Architecture for Robust Fault-Tolerant Design
A new hardware developmental model that shows strong robust transient fault-tolerant abilities and is motivated by embryonic development and a honeycomb structure is presented. Ca...
Andy M. Tyrrell, Hong Sun