10585 search results - page 1636 / 2117 » The Orc Programming Language |
166
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
180
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
228
click to vote
ACMMSP
2006
ACM
16 years 1 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
183
Voted
ASSETS
2006
ACM
16 years 1 months ago
2006
ACM
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
197
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...