4081 search results - page 393 / 817 » The Impact of Constraint Programming |
245
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
To be competitive, Enterprises are collecting and analyzing increasingly large amount of data in order to derive business insights. However, there are at least two challenges to m...
189
click to vote
ICSM
2006
IEEE
16 years 24 days ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
203
click to vote
ACMSE
2006
ACM
16 years 22 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
187
click to vote
CLIMA
2010
15 years 8 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
176
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...