5630 search results - page 341 / 1126 » Computability in Specification |
189
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
177
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
171
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
206
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
183
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
Specularities on surfaces with tangential hairs or grooves are readily observable in nature. Examples of such phenomena are the arched or looped highlights observed on horses and ...