247 search results - page 25 / 50 » Development graphs - Proof management for structured specifi... |
AICCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
EDOC
1997
IEEE
15 years 4 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
135
click to vote
DAGSTUHL
2009
15 years 24 days ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
187
click to vote
GIS
2003
ACM
16 years 23 days ago
2003
ACM
Advances in wireless communications, positioning technology, and other hardware technologies combine to enable a range of applications that use a mobile user's geo-spatial da...
TIT
2010
14 years 6 months ago
2010
Motivated by applications to sensor networks and privacy preserving databases, we consider the problem of functional compression. The objective is to separately compress possibly c...