Sciweavers

1324 search results - page 127 / 265
» Automation Controller for Operational IT Management
Sort
View
LICS
2010
IEEE
13 years 7 months ago
Polarity and the Logic of Delimited Continuations
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
Noam Zeilberger
COORDINATION
2007
Springer
14 years 3 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali
WISES
2003
13 years 10 months ago
Prospects on Software-Agents-Based Applications in Embedded Systems
- Software agents have been already introduced successfully in the scope of embedded technology as smart controllers of intelligent systems. This paper presents a further applicati...
Yoseba K. Penya
ECIS
2000
13 years 10 months ago
Decision Support for Flight Re-Routing in Europe
Congestion has plagued air traffic in the US and in Europe for nearly 20 years. To protect air traffic control from overloads, air traffic flow management tries to anticipate and ...
P. A. Leal de Matos, P. L. Powell
CCS
2010
ACM
14 years 3 months ago
Effective trust management through a hybrid logical and relational approach
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
Adam J. Lee, Ting Yu, Yann Le Gall