161 search results - page 19 / 33 » A logic-based approach for real-time object-oriented softwar... |
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
HCI
2009
13 years 6 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 7 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper discusses a technique to model software patternsfor supporting pattern based software development. Software development can be considered as the evolution of the artifa...