9989 search results - page 306 / 1998 » A CLP Approach to Modelling Systems |
187
click to vote
ACSW
2006
15 years 8 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
150
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
176
click to vote
IAT
2005
IEEE
16 years 8 days ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
150
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
177
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...