|
|
|
Yuanming Chen, Xiaobin Hong, Bin Cui and Rongfa Peng
With the increasingly maturing technology of unmanned surface vehicles (USVs), their applications are becoming more and more widespread. In order to meet operational requirements in complex scenarios, the real-time interaction and linkage of a large amou...
ver más
|
|
|
|
|
|
|
Antônio Costa
Pág. 159 - 182
|
|
|
|
|
|
|
Irene Tangkawarow, Riyanarto Sarno and Daniel Siahaan
Semantics of Business Vocabulary and Rules (SBVR) is a standard that is applied in describing business knowledge in the form of controlled natural language. Business process designers develop SBVR from formal documents and later translate it into busines...
ver más
|
|
|
|
|
|
|
Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri and Emil Pricop
Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness. Application code analysis is obvi...
ver más
|
|
|
|
|
|
|
Willy Kengne Kungne, Georges-Edouard Kouamou and Claude Tangha
The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how...
ver más
|
|
|
|
|
|
|
Lin Zhu, Nan Li and Luyi Bai
In the context of the Semantic Web, the Resource Description Framework (RDF), a language proposed by W3C, has been used for conceptual description, data modeling, and data querying. The algebraic approach has been proven to be an effective way to process...
ver más
|
|
|
|
|
|
|
Amin Jalali
Pág. 24 - 44
Separation of cross-cutting concerns is an important issue in business process management, where Aspect-Oriented Business Process Modeling (AO-BPM) aims to support this separation through a new form of encapsulation technique. Although different research...
ver más
|
|
|
|
|
|
|
Sagar Sunkle,Deepali Kholkar,Vinay Kulkarni
Pág. 39 - 60
Industry governance, risk, and compliance (GRC) solutions stand to gain from various analyses offered by formal compliance checking approaches. Such adoption is made difficult by the fact that most formal approaches assume that a mapping between concepts...
ver más
|
|
|
|
|
|
|
Hartel, R H
Pág. 1379 - 1416
|
|
|
|