10666 search results - page 1446 / 2134 » Quantum programming languages |
189
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
191
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
192
click to vote
ACSC
2006
IEEE
16 years 1 months 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...
170
click to vote
CSFW
2006
IEEE
16 years 1 months 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...
178
click to vote
EPEW
2005
Springer
16 years 23 days ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...