2678 search results - page 152 / 536 » Operational Semantics of Transactions |
131
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
147
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
118
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
174
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Typical ontology matching applications, such as ontology integration, focus on the computation of correspondences holding between the nodes of two graph-like structures, ...
150
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...