3914 search results - page 274 / 783 » Automating SLA modeling |
ICLP
1999
Springer
14 years 17 days ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
LICS
1996
IEEE
14 years 14 days ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
We consider the fully automated recognition of actions in uncontrolled environment. Most existing work relies on domain knowledge to construct complex handcrafted features from in...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
WECWIS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...