Sciweavers

1395 search results - page 62 / 279
» Incremental Construction Approach for Distributed System Spe...
Sort
View
ADBIS
2007
Springer
171views Database» more  ADBIS 2007»
15 years 7 months ago
Quete: Ontology-Based Query System for Distributed Sources
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
Haridimos Kondylakis, Anastasia Analyti, Dimitris ...
TSMC
2002
114views more  TSMC 2002»
15 years 1 months ago
Exploiting design information to derive object distribution models
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
Sandeep Purao, Hemant K. Jain, Derek L. Nazareth
COORDINATION
2006
Springer
15 years 5 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
EICS
2009
ACM
15 years 5 months ago
Flexible and efficient platform modeling for distributed interactive systems
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
Xiao Feng Qiu, T. C. Nicholas Graham
PTS
1998
81views Hardware» more  PTS 1998»
15 years 2 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...