545 search results - page 107 / 109 » Concepts and models for typing events for event-based system... |
SCESM
2006
ACM
14 years 7 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
CCGRID
2001
IEEE
13 years 10 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
IEEESCC
2007
IEEE
14 years 17 days ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
SLOGICA
2008
13 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
ECAL
2007
Springer
14 years 13 days ago
2007
Springer
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...