462 search results - page 39 / 93 » Supporting e-commerce systems formalization with choreograph... |
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
WLP
2000
Springer
13 years 11 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
CASES
2007
ACM
13 years 12 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...