8446 search results - page 1324 / 1690 » A Process Compensation Language |
148
click to vote
ICSE
1989
IEEE-ACM
15 years 9 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
121
click to vote
ANCS
2007
ACM
15 years 9 months ago
2007
ACM
Network processors provide an economical programmable platform to handle the high throughput and frame rates of modern and next-generation communication systems. However, these pl...
148
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
158
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
137
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...