3825 search results - page 378 / 765 » The Language of Time: A Reader |
170
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
171
click to vote
ERLANG
2004
ACM
16 years 6 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
163
click to vote
SIGSOFT
2004
ACM
16 years 6 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
189
click to vote
CD
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. JBoss is an extensible Java application server that aļ¬ords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
169
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
After two decades of eļ¬ort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...