516 search results - page 103 / 104 » Constructing difference tools for models using the SiDiff fr... |
ICSOC
2004
Springer
14 years 26 days ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...