3387 search results - page 533 / 678 » Model-Checking for Real-Time Systems |
IANDC
2007
13 years 10 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
JCM
2007
13 years 10 months ago
2007
—Modulation techniques have attracted increasing attention in optical wireless communications. Basic schemes such as on off keying (OOK), pulse amplitude modulation (PAM) and pul...
JSW
2007
13 years 10 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
GIS
2002
ACM
13 years 10 months ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
CG
1999
Springer
13 years 9 months ago
1999
Springer
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...