490 search results - page 27 / 98 » Formal Action Semantics for a UML Action Language |
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In speech recognition, phonemes have demonstrated their efficacy to model the words of a language. While they are well defined for languages, their extension to human act...
WSPI
2004
14 years 11 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
86
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
87
Voted
FDL
2011
IEEE
13 years 9 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...