Sciweavers

1425 search results - page 91 / 285
» Distributed Development of Complex Software Systems with Obj...
Sort
View
118
Voted
ERSHOV
2006
Springer
15 years 5 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
105
Voted
USENIX
2000
15 years 3 months ago
The Globe Distribution Network
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz,...
WORDS
2003
IEEE
15 years 7 months ago
Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
Stephen S. Yau, Yu Wang, Dazhi Huang
139
Voted
FASE
2008
Springer
15 years 4 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
130
Voted
HPCN
1999
Springer
15 years 6 months ago
WebFlow: A Framework for Web Based Metacomputing
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...
Tomasz Haupt, Erol Akarsu, Geoffrey Fox