Sciweavers

365 search results - page 25 / 73
» Requirements Specifications Checking of Embedded Real-Time S...
Sort
View
ISIM
2007
13 years 9 months ago
Software Architectures for Real-time Embedded Applications for Broadcasting
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
Otto Zeleznik, Zdenek Havlice
CL
2008
Springer
13 years 7 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
SIGSOFT
2005
ACM
14 years 8 months ago
Reasoning about confidentiality at requirements engineering time
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
Renaud De Landtsheer, Axel van Lamsweerde
FTDCS
1999
IEEE
14 years 23 hour ago
Integration of Object-Oriented Software Components for Distributed Application Software Development
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
Stephen S. Yau, Fariaz Karim
JMM2
2007
118views more  JMM2 2007»
13 years 7 months ago
FPGA-based Real-time Optical Flow Algorithm Design and Implementation
—Optical flow algorithms are difficult to apply to robotic vision applications in practice because of their extremely high computational and frame rate requirements. In most case...
Zhaoyi Wei, Dah-Jye Lee, Brent E. Nelson