4666 search results - page 806 / 934 » Equations on Timed Languages |
123
click to vote
ANSS
2001
IEEE
15 years 7 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
144
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...
145
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
137
Voted
RSCTC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
120
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...