Sciweavers

344 search results - page 13 / 69
» Software Process Modeling and Execution Within Virtual Envir...
Sort
View
USENIX
2008
13 years 10 months ago
Bridging the Gap between Software and Hardware Techniques for I/O Virtualization
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...
Jose Renato Santos, Yoshio Turner, G. John Janakir...
ATAL
2010
Springer
13 years 8 months ago
Virtual world builder toolkit
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
T. Trescak, M. Esteva, I. Rodriguez, J. Morales
SWQD
2012
234views more  SWQD 2012»
12 years 3 months ago
BIM: A Methodology to Transform Business Processes into Software Systems
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
Francisco J. Duarte, Ricardo Jorge Machado, Jo&ati...
ICSE
1998
IEEE-ACM
13 years 12 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
FLAIRS
2000
13 years 9 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