16190 search results - page 316 / 3238 » Applicative programming with effects |
138
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
150
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Programs with irregular patterns of dynamic data structures and/or those with complicated control structures such as recursion are notoriously difficult to parallelize efficient...
129
click to vote
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper addresses the problem of managing a wireless sensor network with mobile managers. The mobile managers should be able to create their connectivity to the nodes they m...
104
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
139
click to vote
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we formulate the problem of summarization of a dataset of transactions with categorical attributes as an optimization problem involving two objective functions - co...