860 search results - page 113 / 172 » A Process Algebra Based Verification of a Production System |
DSD
2009
IEEE
14 years 27 days ago
2009
IEEE
Motion Estimation (ME) is the most computationally intensive part of video compression and video enhancement systems. One bit transform (1BT) based ME algorithms have low computat...
RE
1999
Springer
14 years 1 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
ECIS
2003
13 years 10 months ago
2003
The theme of this paper is development of Web applications used by an organization to publish information to groups of users outside the organization. The paper focus on the chall...
AIIA
1991
Springer
14 years 16 days ago
1991
Springer
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...
MODELLIERUNG
2004
13 years 10 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...