2672 search results - page 398 / 535 » Hybridizing Concept Languages |
SDL
2001
13 years 10 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
SDL
2001
13 years 10 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
ISICT
2003
13 years 10 months ago
2003
: In this paper we describe the Iso-phone, a telecommunications concept providing a service that can be described simply as a meeting of the telephone and the floatation tank. By b...
WSC
2001
13 years 10 months ago
2001
This paper considers advantages and actual problems of web based simulation systems. Based on a review of environments and languages for web based simulation, some fundamental req...
OAS
2003
13 years 10 months ago
2003
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...