7124 search results - page 904 / 1425 » Programming Languages and Operating Systems |
154
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
167
click to vote
ICTAC
2005
Springer
16 years 2 hour ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
174
click to vote
HAPTICS
2003
IEEE
15 years 11 months ago
2003
IEEE
As haptic technology becomes more developed, the potential applications for three-dimensional haptic content online become more and more numerous. However, the proliferation of su...
184
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
161
click to vote
ISTA
2003
15 years 7 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...