9626 search results - page 1701 / 1926 » Invariant Based Programming |
179
click to vote
SE
2010
15 years 8 months ago
2010
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
158
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
A feature is a program characteristic visible to an end-user. Current research strives to encapsulate the implementation of a feature in a module. Jak is a language extension to Ja...
165
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...
152
click to vote
IJCAI
2007
15 years 8 months ago
2007
Computers have already eclipsed the level of human play in competitive Scrabble, but there remains room for improvement. In particular, there is much to be gained by incorporating...
158
click to vote
IJCAI
2007
15 years 8 months ago
2007
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...