523 search results - page 46 / 105 » A Formal Account of WS-BPEL |
106
click to vote
TKDE
2012
13 years 3 days ago
2012
— This paper presents a method for identifying a set of dense subgraphs of a given sparse graph. Within the main applications of this “dense subgraph problem”, the dense subg...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
83
Voted
AIPS
2006
14 years 11 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...