Sciweavers

4469 search results - page 605 / 894
» A Language for Role Specifications
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
A Gradient Difference Based Technique for Video Text Detection
Text detection in video images has received increasing attention, particularly in scene text detection in video images, as it plays a vital role in video indexing and information ...
Palaiahnakote Shivakumara, Trung Quy Phan, Chew Li...
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
16 years 1 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
ETFA
2008
IEEE
16 years 1 months ago
Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
Ramon Piedrafita Moreno, José Luis Villarro...
ICDE
2008
IEEE
200views Database» more  ICDE 2008»
16 years 1 months ago
Enforcing security in semantics driven policy based networks
— Security is emerging as an important requirement for a number of distributed applications such as online banking, social networking etc. due to the private nature of the data b...
Palanivel Balaji Kodeswaran, Sethuram Balaji Kodes...