23 search results - page 5 / 5 » A Scalable Formal Method for Design and Automatic Checking o... |
RSP
2003
IEEE
13 years 10 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
SMC
2007
IEEE
13 years 11 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...