483 search results - page 67 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
IAT
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
IAAI
1993
13 years 8 months ago
1993
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
ERP systems acceptance usually involves radical organizational change because it is often associated with fundamental organizational improvements that cut across functional and or...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
JCS
2006
13 years 7 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...