5109 search results - page 661 / 1022 » On Learning Limiting Programs |
138
click to vote
GI
2007
Springer
16 years 16 days ago
2007
Springer
: Currently, user interfaces are defined by single applications but workflows may span multiple ones. In the result, users have to work with separated programs in parallel and de...
137
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
151
click to vote
ICSOC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Service oriented architectures (SOA) are becoming reality in a corporate environment. Rather than pure technology improvements SOA intends to increase manageability and s...
145
click to vote
UM
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
165
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...