4067 search results - page 322 / 814 » Programs for Applying Symmetries |
147
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
153
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper gives an outlook on technologies for joint-working with Java-based programs - applets and applications. Various approaches and APIs applied to the Java environment are ...
192
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
161
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
151
click to vote
OWLED
2008
15 years 8 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...