Sciweavers

2958 search results - page 138 / 592
» Extending and Implementing RASP
Sort
View
VL
1990
IEEE
110views Visual Languages» more  VL 1990»
14 years 1 months ago
A Declarative Formalism for Specifying Graphical Layout
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
Volker Haarslev, Ralf Möller
DEXAW
1998
IEEE
98views Database» more  DEXAW 1998»
14 years 1 months ago
An Information Model for Nomadic Environments
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
Andy Bond, Matthew Gallagher, Jadwiga Indulska
ASPDAC
2007
ACM
114views Hardware» more  ASPDAC 2007»
14 years 1 months ago
Approaching Speed-of-light Distortionless Communication for On-chip Interconnect
We extend the Surfliner on-chip distortionless transmission line scheme and provide more details for the implementation issues. Surfliner seeks to approach distortionless transmiss...
Haikun Zhu, Rui Shi, Chung-Kuan Cheng, Hongyu Chen
ACISP
2003
Springer
14 years 23 days ago
Grouping Verifiable Content for Selective Disclosure
Abstract. This paper addresses the issue of selective disclosure of verifiable content. It extends previous work relating to Content Extraction Signatures [21] to implement a more ...
Laurence Bull, David McG. Squire, Jan Newmarch, Yu...
ACSD
2003
IEEE
102views Hardware» more  ACSD 2003»
14 years 23 days ago
Specification Coverage Aided Test Selection
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
Tuomo Pyhälä, Keijo Heljanko