Sciweavers

1498 search results - page 28 / 300
» Network control as a distributed object application
Sort
View
EJWCN
2010
122views more  EJWCN 2010»
13 years 2 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
13 years 11 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab
DSN
2002
IEEE
14 years 29 days ago
Distributed Object Middleware to Support Dependable Information Sharing between Organisations
Organisations increasingly use the Internet to offer their own services and to utilise the services of others. This naturally leads to information sharing across organisational bo...
Nick Cook, Santosh K. Shrivastava, Stuart M. Wheat...
CAISE
2001
Springer
14 years 15 days ago
Objects Control for Software Configuration Management
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
Jacky Estublier
SIGOPSE
1998
ACM
14 years 6 days ago
DROPS: OS support for distributed multimedia applications
The characterising new requirement for distributed multimedia applications is the coexistence of dynamic real-time and non-real-time applications on hosts and networks. While some...
Hermann Härtig, Robert Baumgartl, Martin Borr...