2226 search results - page 188 / 446 » Pdk: The System and Its Language |
153
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
182
click to vote
AI
1998
Springer
15 years 10 months ago
1998
Springer
The evaluation of a large implemented natural language processing system involves more than its application to a common performance task. Such tasks have been used in the message u...
170
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
205
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
MATLAB is one of the most popular languages for desktop numerical computations as well as for signal and image processing applic ations. Applying parallel processing techniques to...
154
click to vote
ANSS
2001
IEEE
15 years 10 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 ...