2106 search results - page 48 / 422 » Operational Semantics for MSC'96 |
ESOP
2007
Springer
15 years 3 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...
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
TACS
2001
Springer
15 years 2 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...
HOLOMAS
2007
Springer
15 years 3 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...
WISE
2005
Springer
15 years 3 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...