3154 search results - page 325 / 631 » An annotation based approach to support design communication |
175
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the design and implementation of a distributed file repository that supports data sharing in a variable connected environment. Our design is based on the obse...
175
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
173
click to vote
SKG
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
240
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
171
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...