6740 search results - page 392 / 1348 » Using Classification as a Programming Language |
141
Voted
TACS
2001
Springer
15 years 8 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...
143
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
139
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
112
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
128
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...