231 search results - page 35 / 47 » Languages and performance engineering: method, instrumentati... |
ISSTA
2000
ACM
14 years 7 days ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
TAPSOFT
1997
Springer
14 years 20 hour ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
CDVE
2007
Springer
14 years 2 months ago
2007
Springer
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
CBSE
2005
Springer
14 years 1 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
ACMACE
2007
ACM
13 years 9 months ago
2007
ACM
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...