2519 search results - page 53 / 504 » MASUP: An Agent-Oriented Modeling Process for Information Sy... |
148
click to vote
IFIP8
2007
15 years 7 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
154
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
—In energy harvesting communication systems, an exogenous recharge process supplies energy for the data transmission and arriving energy can be buffered in a battery before consu...
169
click to vote
CAISE
2009
Springer
16 years 23 days ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
205
click to vote
RAS
2006
15 years 6 months ago
2006
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
215
click to vote
APCCM
2009
15 years 7 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...