2757 search results - page 337 / 552 » On separating systems |
205
Voted
ICS
1992
Tsinghua U.
15 years 10 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
141
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
In previous papers we have presented our autonomous poker playing agent (SARTRE) that uses a memory-based approach to create a betting strategy for two-player, limit Texas Hold’e...
161
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
161
Voted
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
189
Voted
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...