376 search results - page 67 / 76 » Exploring Unknown Structured Environments |
101
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
ICPP
1994
IEEE
15 years 3 months ago
1994
IEEE
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
HT
2007
ACM
15 years 3 months ago
2007
ACM
Authorship entails the constrained selection or generation of media and the organization and layout of that media in a larger structure. But authorship is more than just selection...
100
Voted
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
115
Voted
IE
2007
15 years 1 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...