3330 search results - page 336 / 666 » software 2010 |
114
click to vote
JAR
2010
15 years 2 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
136
click to vote
JSC
2010
15 years 2 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
136
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
121
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
128
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...