9989 search results - page 1614 / 1998 » A CLP Approach to Modelling Systems |
207
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The information explosion in today’s electronic world has created the need for information filtering techniques that help users filter out extraneous content to identify the righ...
183
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
175
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
189
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
180
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...