Sciweavers

3381 search results - page 406 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
163
Voted
DIGRA
2003
Springer
15 years 12 months ago
Supporting visual elements of non-verbal communication in computer game avatars
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
Tomi Kujanpää, Tony Manninen
SPIN
2010
Springer
15 years 5 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
DATE
1998
IEEE
103views Hardware» more  DATE 1998»
15 years 11 months ago
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
Enric Pastor, Jordi Cortadella
3DIM
1997
IEEE
15 years 11 months ago
Registration and Integration of Textured 3-D Data
In general, multiple views are required to create a complete 3-D model of an object or of a multi-roomed indoor scene. In this work, we address the problem of merging multiple tex...
Andrew Edie Johnson, Sing Bing Kang
EUROPAR
2008
Springer
15 years 8 months ago
Auction Protocols for Resource Allocations in Ad-Hoc Grids
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
Behnaz Pourebrahimi, Koen Bertels