3689 search results - page 266 / 738 » A Language with Distributed Scope |
143
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
155
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
154
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
137
click to vote
FTRTFT
2000
Springer
15 years 8 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
140
click to vote
LREC
2010
15 years 5 months ago
2010
eScience - enhanced science - is a new paradigm of scientific work and research. In the humanities, eScience environments can be helpful in establishing new workflows and lifecycl...