3429 search results - page 328 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
137
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
162
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
165
Voted
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
116
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Automatic semantic summarisation of human activity and detection of unusual inactivity are useful goals for a vision system operating in a supportive home environment. Learned mod...
126
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...