7661 search results - page 1262 / 1533 » Languages and the Computing Profession |
214
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
236
click to vote
ICSOC
2010
Springer
15 years 6 months ago
2010
Springer
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
334
click to vote
ICSOC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. As the dynamicity of today's business environments keeps increasing, there is a need to continuously adapt business processes in order to respond to the changes in t...
190
click to vote
ICTAC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
236
click to vote
JOT
2010
15 years 5 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...