Sciweavers

7918 search results - page 135 / 1584
» Model Composition Directives
Sort
View
97
Voted
COORDINATION
2010
Springer
15 years 4 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
ICWE
2004
Springer
15 years 6 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
100
Voted
LICS
2009
IEEE
15 years 7 months ago
Clipping: A Semantics-Directed Syntactic Approximation
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
Dan R. Ghica, Adam Bakewell
114
Voted
RT
2000
Springer
15 years 4 months ago
Direct Ray Tracing of Displacement Mapped Triangles
We present an algorithm for ray tracing displacement maps that requires no additional storage over the base model. Displacement maps are rarely used in ray tracing due to the cost...
Brian E. Smits, Peter Shirley, Michael M. Stark
ICMLA
2008
15 years 2 months ago
Prediction-Directed Compression of POMDPs
High dimensionality of belief space in Partially Observable Markov Decision Processes (POMDPs) is one of the major causes that severely restricts the applicability of this model. ...
Abdeslam Boularias, Masoumeh T. Izadi, Brahim Chai...