4726 search results - page 296 / 946 » Domain Modeling of Software Process Models |
167
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
267
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
140
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
161
click to vote
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
184
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The ...