104 search results - page 11 / 21 » Towards Formal Analysis of Artifact-Centric Business Process... |
85
Voted
EDBTW
2010
Springer
15 years 3 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
ASWEC
2006
IEEE
15 years 4 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
RIDE
1999
IEEE
15 years 2 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
FM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...