4914 search results - page 621 / 983 » Arbitration of a help system |
232
click to vote
CCECE
2006
IEEE
16 years 27 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
174
click to vote
CGI
2006
IEEE
16 years 27 days ago
2006
IEEE
Pen-based user interface has become a hot research field in recent years. Pen gesture plays an important role in Pen-based user interfaces. But it’s difficult for UI designers to...
171
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
150
click to vote
CRV
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents a template-based algorithm to track and recognize athlete’s actions in an integrated system using only visual information. Conventional template-based action...
172
click to vote
CSMR
2006
IEEE
16 years 27 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...