1228 search results - page 151 / 246 » Continuations, proofs and tests |
AMAST
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
AUIC
2004
IEEE
13 years 12 months ago
2004
IEEE
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...
IMAGING
2003
13 years 9 months ago
2003
Current color-printing technologies may use three or more inks, e.g., CMY, CMYK, CMYKcm, CMYKGO, CMYKRGB. When the number of inks exceeds three, there is the usual color-managemen...
ICMAS
2000
13 years 9 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
WOA
2007
13 years 9 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...