3653 search results - page 289 / 731 » On Recognizable Timed Languages |
193
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
173
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
159
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
182
click to vote
ACSC
2006
IEEE
16 years 29 days ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
156
click to vote
CSFW
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...