4286 search results - page 712 / 858 » Formalizing Service Interactions |
131
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
153
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
132
Voted
AIME
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
153
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
144
Voted
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...