7092 search results - page 1061 / 1419 » Parallelizing constraint programs |
171
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
178
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The maximum lifetime routing problem in wireless sensor networks has received increasing attention in recent years. One way is to formulate it as a linear programming problem b...
172
click to vote
FCT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
153
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
194
click to vote
ECLIPSE
2006
ACM
16 years 22 days ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...