Sciweavers

9210 search results - page 417 / 1842
» Analyzing Real-Time Systems
Sort
View
FMOODS
2000
15 years 8 months ago
Requirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
Rik Eshuis, Roel Wieringa
RTCSA
2006
IEEE
16 years 25 days ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
JUCS
2008
98views more  JUCS 2008»
15 years 6 months ago
Spatial Queries in Road Networks Based on PINE
: Over the last decade, due to the rapid developments in information technology (IT), a new breed of information systems has appeared such as geographic information systems that in...
Maytham Safar
AVSS
2005
IEEE
16 years 14 days ago
An effective real-time mosaicing algorithm apt to detect motion through background subtraction using a PTZ camera
Nowadays, many visual surveillance systems exploit PTZ camera to increase the field of view of a surveyed area. The background subtraction technique is widespread to detect movin...
Pietro Azzari, Luigi di Stefano, Alessandro Bevila...
ICMCS
2005
IEEE
151views Multimedia» more  ICMCS 2005»
16 years 13 days ago
Face and Eye Rectification in Video Conference Using Artificial Neural Network
The lack of eye contact in video conference degrades the user’s experience. This problem has been known and studied for many years. There are hardware-based solutions to the eye...
Ben Yip