2838 search results - page 498 / 568 » Verifying Controlled Components |
ICSOFT
2007
13 years 10 months ago
2007
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
LREC
2008
13 years 10 months ago
2008
Our goal is to provide a web-based platform for the long-term preservation and distribution of a heterogeneous collection of linguistic resources. We discuss the corpus preprocess...
SERP
2008
13 years 10 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
WOTUG
2008
13 years 10 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
ACSW
2006
13 years 10 months ago
2006
Task scheduling is an integrated component of computing. With the emergence of grid and ubiquitous computing, newer challenges have arisen in task scheduling. Unlike traditional p...