5634 search results - page 880 / 1127 » About Abstract Classes |
195
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
160
click to vote
PADS
2003
ACM
15 years 12 months ago
2003
ACM
Packet-level discrete-event network simulators use an event to model the movement of each packet in the network. This results in accurate models, but requires that many events are...
168
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
179
click to vote
ADBIS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
177
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A number of applications require robust human face recognition under varying environmental lighting conditions and different facial expressions, which considerably vary ...