7661 search results - page 1232 / 1533 » Languages and the Computing Profession |
186
click to vote
DSN
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
228
click to vote
SP
2000
IEEE
15 years 12 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
174
click to vote
WCRE
2000
IEEE
15 years 12 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
219
click to vote
ACSE
2000
ACM
15 years 12 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
215
click to vote
SAC
2000
ACM
15 years 12 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...