860 search results - page 113 / 172 » A Process Algebra Based Verification of a Production System |
132
Voted
DSD
2009
IEEE
15 years 7 months 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...
145
Voted
RE
1999
Springer
15 years 8 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...
138
Voted
ECIS
2003
15 years 5 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...
138
Voted
AIIA
1991
Springer
15 years 7 months 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 ...
133
Voted
MODELLIERUNG
2004
15 years 5 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...