Sciweavers

1312 search results - page 236 / 263
» Construction of BPMN-based Business Process Model Base
Sort
View
FLAIRS
2000
15 years 1 months ago
Actively Supporting Collaboration in Virtual Learning Environments
Collaboration between peers is an important aspect of the learning process and can considerably augment learning in studying complex domains. To ensure that peer collaboration occ...
Adrian Gordon, Lynne E. Hall
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 6 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
CDC
2008
IEEE
151views Control Systems» more  CDC 2008»
15 years 6 months ago
Analysis of hybrid systems resulting from relay-type hysteresis and saturation: A Lyapunov approach
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
Dan Dai, Ricardo G. Sanfelice, Tingshu Hu, Andrew ...
ACCV
2007
Springer
15 years 5 months ago
User-Guided Shape from Shading to Reconstruct Fine Details from a Single Photograph
Abstract. Many real objects, such as faces, sculptures, or low-reliefs are composed of many detailed parts that can not be easily modeled by an artist nor by 3D scanning. In this p...
Alexandre Meyer, Héctor M. Briceño, ...
SAC
2000
ACM
15 years 4 months ago
Parallel C++ for the Java Virtual Machine
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
Timothy E. Denehy, Chang-Hyun Jo