4460 search results - page 754 / 892 » Formal methods for interactive systems |
127
Voted
SC
1990
ACM
15 years 7 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
145
Voted
SIGGRAPH
1990
ACM
15 years 7 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
141
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
146
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
133
click to vote
INFOCOM
1991
IEEE
15 years 7 months ago
1991
IEEE
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...