Sciweavers

3450 search results - page 434 / 690
» Developing Parallel Applications Using the JAVAPORTS Environ...
Sort
View
NETGAMES
2003
ACM
15 years 12 months ago
A multi-user framework supporting video-based avatars
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
Peter Quax, Tom Jehaes, Pieter Jorissen, Wim Lamot...
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
SC
2000
ACM
15 years 10 months ago
Efficient Wire Formats for High Performance Computing
High performance computing is being increasingly utilized in non-traditional circumstances where it must interoperate with other applications. For example, online visualization is...
Fabián E. Bustamante, Greg Eisenhauer, Kars...
EDOC
2007
IEEE
16 years 29 days ago
Business and IT Alignment with SEAM for Enterprise Architecture
To align an IT system with an organization’s needs, it is necessary to understand the organization’s position within its environment as well as its internal configuration. In ...
Alain Wegmann, Gil Regev, Irina Rychkova, Lam-Son ...
180
Voted
HOLOMAS
2009
Springer
15 years 11 months ago
Design and Implementation of LabVIEW-Based IEC61499 Compliant Device
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
Grzegorz Polaków, Mieczyslaw Metzger