Sciweavers

2319 search results - page 113 / 464
» A Method for the Design and Development of Distributed Appli...
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 1 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
SSR
2001
104views more  SSR 2001»
13 years 10 months ago
Secure and efficient mobile agent application reuse using patterns
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga,...
CRIWG
2009
13 years 10 months ago
Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
Pedro Sousa, Nuno M. Preguiça, Carlos Baque...
EUROSYS
2007
ACM
14 years 6 months ago
Dryad: distributed data-parallel programs from sequential building blocks
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrel...