797 search results - page 91 / 160 » MODULA-2 and Its Compilation |
151
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
158
click to vote
ACNS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Rule-based packet classification plays a central role in network intrusion detection systems such as Snort. To enhance performance, these rules are typically compiled int...
144
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
144
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
137
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...