660 search results - page 15 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
99
Voted
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
104
click to vote
ICCPOL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
WSC
2004
14 years 11 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
77
Voted
ACSD
1998
IEEE
15 years 1 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...