182 search results - page 23 / 37 » Design by Contract Deontic Design Language for Multiagent Sy... |
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
105
click to vote
CONCURRENCY
1998
14 years 11 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
103
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
116
click to vote
CSL
2006
Springer
14 years 11 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...