Sciweavers

3362 search results - page 138 / 673
» A definition of subjective possibility
Sort
View
ICWE
2004
Springer
15 years 11 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
IPSN
2004
Springer
15 years 11 months ago
Modeling of sensor nets in Ptolemy II
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiao...
ISSAC
2004
Springer
98views Mathematics» more  ISSAC 2004»
15 years 11 months ago
Symbolic summation with single-nested sum extensions
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
Carsten Schneider
VISUALIZATION
2003
IEEE
15 years 11 months ago
Effectively Visualizing Multi-Valued Flow Data Using Color and Texture
In this paper we offer several new insights and techniques for effectively using color and texture to simultaneously convey information about multiple 2D scalar and vector distrib...
Timothy Urness, Victoria Interrante, Ivan Marusic,...
SACMAT
2003
ACM
15 years 11 months ago
An approach to engineer and enforce context constraints in an RBAC environment
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
Gustaf Neumann, Mark Strembeck