950 search results - page 30 / 190 » Machine semantics |
128
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
146
click to vote
IIWAS
2007
15 years 3 months ago
2007
The growing number of Web Services technologies and their use have revolutionized the web. Web Services will play an important role in the next web generation (i.e. Semantic Web) ...
123
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
ICALT
2007
IEEE
15 years 8 months ago
2007
IEEE
The vision of a common international education space includes a scenario for the composition of personalised study curricula consisting of modules offered by different universitie...
115
click to vote
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
Reusing existing web resources for e-learning is a very promising and highly promoted idea in the research field of web-based education, especially for intelligent or adaptive sys...